Lines Matching defs:constructors
93 (* Peculiar names for fake record constructors. These help generate code for *)
210 (* pseudo-constructors, like INSERT for sets and BAG_INSERT for bags. These *)
211 (* are *not* constructors, but we will generate programs in which they are *)
212 (* constructors for abstract datatypes. *)
214 (* Real constructors are detected in the term prettyprinter by testing *)
215 (* TypeBase.is_constructor. In contrast, pseudo-constructors are dealt with *)
350 (* Numeric literals can be built from strings or constructors *)
356 else (* side = LEFT, so use constructors *)
1012 fun constructors decls =
1015 | (s, Constructors clist) :: rst => map (cmk o #1) clist @ constructors rst
1016 | (s,Record flds)::rst => rmk s :: constructors rst
1432 val constrs = constructors ty
1441 val constrs = constructors ty
1455 (* definitions and datatype constructors exported as ML. *)