Lines Matching defs:types
56 | TypeFn of typeVarForm list * types
59 and types =
66 args: types list,
72 arg: types,
73 result: types
154 typeOf: types,
159 instanceTypes: types list ref option
180 recList: { name: string, typeof: types } list,
198 val makeTypeFunction: typeIdDescription * (typeVarForm list * types) -> typeId
201 val badType: types
202 val emptyType: types
204 val isBad: types -> bool
205 val isEmpty: types -> bool
232 val tvValue: typeVarForm -> types
233 val tvSetValue: typeVarForm * types -> unit
238 {value: types, level: int, equality: bool, nonunifiable: bool, printable: bool } -> typeVarForm
266 val valTypeOf: values -> types
272 val makeOverloaded: string * types * typeDependent -> values
273 val makeValueConstr: string * types * bool * int * valAccess * locationProp list -> values
315 and types = types