| changeset 12338 | de0f4a63baa5 |
| parent 12030 | 46d57d0290a2 |
| child 14981 | e73f8140af78 |
| 12337:7c6a970f0808 | 12338:de0f4a63baa5 |
|---|---|
6 Class instance of => (fun) for class pcpo |
6 Class instance of => (fun) for class pcpo |
7 *) |
7 *) |
8 |
8 |
9 Fun3 = Fun2 + |
9 Fun3 = Fun2 + |
10 |
10 |
11 (* default class is still term *) |
11 (* default class is still type *) |
12 |
12 |
13 instance fun :: (term,cpo)cpo (cpo_fun) |
13 instance fun :: (type, cpo) cpo (cpo_fun) |
14 instance fun :: (term,pcpo)pcpo (least_fun) |
14 instance fun :: (type, pcpo)pcpo (least_fun) |
15 |
15 |
16 end |
16 end |
17 |
17 |