equal
deleted
inserted
replaced
22 TVar of indexname * sort |
22 TVar of indexname * sort |
23 val --> : typ * typ -> typ |
23 val --> : typ * typ -> typ |
24 val ---> : typ list * typ -> typ |
24 val ---> : typ list * typ -> typ |
25 val is_TVar: typ -> bool |
25 val is_TVar: typ -> bool |
26 val domain_type: typ -> typ |
26 val domain_type: typ -> typ |
|
27 val range_type: typ -> typ |
27 val binder_types: typ -> typ list |
28 val binder_types: typ -> typ list |
28 val body_type: typ -> typ |
29 val body_type: typ -> typ |
29 val strip_type: typ -> typ list * typ |
30 val strip_type: typ -> typ list * typ |
30 datatype term = |
31 datatype term = |
31 Const of string * typ | |
32 Const of string * typ | |