Lines Matching defs:constructor
54 type constructor = string * hol_type list
59 type. Each such is accompanied by a list of constructor specifications.
60 Such a spec. is a string (the constructor name) and a list of types that
61 are the arguments of that constructor. Recursive occurrences of the
65 type tyspec = hol_type * constructor list
170 \ duplicates constructor in type \""^oldty^"\", \
193 ("Duplicate constructor name: "^n)
223 fun constructor (cname, ptys) = (cname, map mk_hol_type ptys)
225 map (tyname_as_tyvar##map constructor) asts
261 | SOME s => raise ERR "build_enum"("Duplicate constructor name: "^s)