Lines Matching defs:Term
8 val mk_var = Term.mk_var
9 val mk_const = Term.mk_const
10 val mk_comb = Term.mk_comb
11 val mk_abs = Term.mk_abs
12 val mk_primed_var = Term.mk_primed_var
13 val dest_var = Term.dest_var
14 val dest_const = Term.dest_const
15 val dest_comb = Term.dest_comb
16 val dest_abs = Term.dest_abs
44 datatype lambda = datatype Term.lambda