Lines Matching defs:types
58 expType: types ref,
66 types are specified by installing appropriate conversion functions:
68 { converter: values, expType: types ref, literal: string, location: location }
72 { f: parsetree, arg: parsetree, location: location, isInfix: bool, expType: types ref }
85 | TupleTree of { fields: parsetree list, location: location, expType: types ref }
108 (* Open a structure. The variables, structures and types are just needed if
130 { matches: matchtree list, location: location, expType: types ref }
184 { test: parsetree, match: matchtree list, location: location, listLocation: location, expType: types ref }
193 { recList: labelRecEntry list, frozen: bool, expType: types ref, location: location }
196 { name: string, labType: types, typeof: types, location: location }
199 { elements: parsetree list, location: location, expType: types ref }
227 argType: types ref,
228 resultType: types ref,
284 argType: types ref,
285 resType: types ref,
304 expType: types ref
308 { ident: { name: string, expType: types ref, location: location },
316 type types = types