| changeset 13168 | afcbca3498b0 |
| parent 6093 | 87bf8c03b169 |
| child 13218 | 3732064ccbd1 |
| 13167:7157c6d47aa4 | 13168:afcbca3498b0 |
|---|---|
4 Copyright 1992 University of Cambridge |
4 Copyright 1992 University of Cambridge |
5 |
5 |
6 Least and greatest fixed points |
6 Least and greatest fixed points |
7 *) |
7 *) |
8 |
8 |
9 Fixedpt = domrange + |
9 Fixedpt = equalities + |
10 |
10 |
11 consts |
11 consts |
12 bnd_mono :: [i,i=>i]=>o |
12 bnd_mono :: [i,i=>i]=>o |
13 lfp, gfp :: [i,i=>i]=>i |
13 lfp, gfp :: [i,i=>i]=>i |
14 |
14 |