Lines Matching defs:types
40 in the module system as run-time values for types and datatypes
47 values for the base types to construct a type value. Monomorphic
49 The effective types in each case are
123 {typeOf: types, address: int, decCode: codeBinding} list ref,
195 (* A few common types. These are effectively always cached. *)
316 fun getMaxDepth (typeVarMap: typeVarMap) (ty: types, maxSoFar:int) : int =
354 (* Get the boxedness functions for the argument types.
406 (* Get the size functions for the argument types.
621 (* Get argument types parameters for polytypes. There's a special case
849 (* Call the second function with the values to be compared and the base types. *)
1057 (* Wrap this in the functions for the base types. *)
1155 from the source although that may expose the representation of other types.
1193 when printing other types so that if a pretty printer is later
1194 installed for one of the types the others will use the new pretty
1264 fun equalityForType(ty: types, level: level, typeVarMap: typeVarMap): codetree =
1354 (* For now limit this to equality types. *)
1364 type types = types