| changeset 12406 | c9775847ed66 |
| parent 8874 | 3242637f668c |
| child 15635 | 8408a06590a6 |
| 12405:9b16f99fd7b9 | 12406:c9775847ed66 |
|---|---|
4 Copyright 1993 University of Cambridge |
4 Copyright 1993 University of Cambridge |
5 |
5 |
6 Association lists. |
6 Association lists. |
7 *) |
7 *) |
8 |
8 |
9 AList = List + |
9 AList = Main + |
10 |
10 |
11 consts |
11 consts |
12 alist_rec :: "[('a*'b)list, 'c, ['a, 'b, ('a*'b)list, 'c]=>'c] => 'c" |
12 alist_rec :: "[('a*'b)list, 'c, ['a, 'b, ('a*'b)list, 'c]=>'c] => 'c" |
13 assoc :: "['a,'b,('a*'b) list] => 'b" |
13 assoc :: "['a,'b,('a*'b) list] => 'b" |
14 |
14 |