equal
deleted
inserted
replaced
25 Const of string * typ | |
25 Const of string * typ | |
26 Free of string * typ | |
26 Free of string * typ | |
27 Var of indexname * typ | |
27 Var of indexname * typ | |
28 Bound of int | |
28 Bound of int | |
29 Abs of string * typ * term | |
29 Abs of string * typ * term | |
30 op $ of term * term |
30 $ of term * term |
31 exception TYPE of string * typ list * term list |
31 exception TYPE of string * typ list * term list |
32 exception TERM of string * term list |
32 exception TERM of string * term list |
33 val dummyT: typ |
33 val dummyT: typ |
34 val no_dummyT: typ -> typ |
34 val no_dummyT: typ -> typ |
35 val --> : typ * typ -> typ |
35 val --> : typ * typ -> typ |