Lines Matching defs:types
55 ("Could not find bottom values for all sub-types of "
63 val types = mk_set (map type_of arbs)
64 val b2 = inst (map (fn t => t |-> target) types) b1
72 (* non-recursive types. *)
267 let val types = set_diff (type_vars_in_term term) (type_vars basetype)
268 in inst (map (fn x => x |-> gen_tyvar()) types) term
554 val (vars,types) =
569 (pairLib.list_mk_prod types),
927 fun inst_from term start types =
930 (enumerate 0 types)) term;
1948 let val (types,_) = strip_fun (type_of c)
1950 (enumerate 0 types);
2164 "encode_type should only be applied to base types")