12 |
12 |
13 arities |
13 arities |
14 uterm :: (term)term |
14 uterm :: (term)term |
15 |
15 |
16 consts |
16 consts |
17 uterm :: "'a item set => 'a item set" |
17 uterm :: 'a item set => 'a item set |
18 Rep_uterm :: "'a uterm => 'a item" |
18 Rep_uterm :: 'a uterm => 'a item |
19 Abs_uterm :: "'a item => 'a uterm" |
19 Abs_uterm :: 'a item => 'a uterm |
20 VAR :: "'a item => 'a item" |
20 VAR :: 'a item => 'a item |
21 CONST :: "'a item => 'a item" |
21 CONST :: 'a item => 'a item |
22 COMB :: "['a item, 'a item] => 'a item" |
22 COMB :: ['a item, 'a item] => 'a item |
23 Var :: "'a => 'a uterm" |
23 Var :: 'a => 'a uterm |
24 Const :: "'a => 'a uterm" |
24 Const :: 'a => 'a uterm |
25 Comb :: "['a uterm, 'a uterm] => 'a uterm" |
25 Comb :: ['a uterm, 'a uterm] => 'a uterm |
26 UTerm_rec :: "['a item, 'a item => 'b, 'a item => 'b, |
26 UTerm_rec :: "['a item, 'a item => 'b, 'a item => 'b, |
27 ['a item , 'a item, 'b, 'b]=>'b] => 'b" |
27 ['a item , 'a item, 'b, 'b]=>'b] => 'b" |
28 uterm_rec :: "['a uterm, 'a => 'b, 'a => 'b, |
28 uterm_rec :: "['a uterm, 'a => 'b, 'a => 'b, |
29 ['a uterm, 'a uterm,'b,'b]=>'b] => 'b" |
29 ['a uterm, 'a uterm,'b,'b]=>'b] => 'b" |
30 |
30 |