Lines Matching defs:types
31 val types = ref (rev (map (type_of o lhs) (strip_conj (concl LIST))));
50 split_nested_recursive_set) (rev (!types));
52 (rev (!types));
54 (rev (!types));
56 (rev (!types));
58 (rev (!types));
60 (rev (!types));
62 (rev (!types));
75 t::map snd (reachable_graph uncurried_subtypes t)) (rev (!types)))))
95 (rev (!types));
98 (rev (!types));
101 (rev (!types));
104 (rev (!types));
107 (rev (!types));
110 (rev (!types));
113 (rev (!types));
116 (rev (!types));
119 (rev (!types));
495 val _ = types := ``:'a wordlist``::(!types);
505 (!types);
531 (!types)
540 (filter (not o C mem [``:register``,``:Steve0``]) (!types));
546 (filter (not o C mem [``:register``,``:Steve0``]) (!types));