Lines Matching defs:types
35 type types
61 expType: types ref,
69 types are specified by installing appropriate conversion functions:
71 { converter: values, expType: types ref, literal: string, location: location }
75 { f: parsetree, arg: parsetree, location: location, isInfix: bool, expType: types ref }
88 | TupleTree of { fields: parsetree list, location: location, expType: types ref }
111 (* Open a structure. The variables, structures and types are just needed if
133 { matches: matchtree list, location: location, expType: types ref }
187 { test: parsetree, match: matchtree list, location: location, listLocation: location, expType: types ref }
196 { recList: labelRecEntry list, frozen: bool, expType: types ref, location: location }
199 { name: string, labType: types, typeof: types, location: location }
202 { elements: parsetree list, location: location, expType: types ref }
230 argType: types ref,
231 resultType: types ref,
287 argType: types ref,
288 resType: types ref,
307 expType: types ref
311 { ident: { name: string, expType: types ref, location: location },
319 type types = types