Lines Matching defs:constructor
4 constructor and as many arguments to that constructor as there are
167 val constructor =
171 "Type to be record has more than one constructor"
179 domtys [] (type_of constructor)
234 list_mk_comb(constructor, constructor_args ftl)
236 val cons_comb = list_mk_comb(constructor, typeletters)
277 list_mk_comb(Term.inst s constructor,
455 constructor
605 Parse.overload_on(typename, constructor)