equal
deleted
inserted
replaced
16 datatype |
16 datatype |
17 type_expr = TVar nat | Fun type_expr type_expr |
17 type_expr = TVar nat | Fun type_expr type_expr |
18 |
18 |
19 (* type variable substitution *) |
19 (* type variable substitution *) |
20 types |
20 types |
21 subst = "nat => type_expr" |
21 subst = nat => type_expr |
22 |
22 |
23 arities |
23 arities |
24 type_expr::type_struct |
24 type_expr::type_struct |
25 list::(type_struct)type_struct |
25 list::(type_struct)type_struct |
26 fun::(term,type_struct)type_struct |
26 fun::(term,type_struct)type_struct |