Lines Matching defs:types
25 type types
47 val mkGvar: string * types * codetree * locationProp list -> values
48 val mkValVar: string * types * locationProp list -> values
49 val mkPattVar: string * types * locationProp list -> values
51 val mkGconstr: string * types * codetree * bool * int * locationProp list -> values
52 val mkGex: string * types * codetree * locationProp list -> values
53 val mkEx: string * types * locationProp list -> values
71 values * level * typeVarMap * {value: types, equality: bool, printity: bool} list * lexan * location -> codetree
72 val codeExFunction: values * level * typeVarMap * types list * lexan * location -> codetree
74 values * codetree * level * typeVarMap * {value: types, equality: bool, printity: bool} list *
76 val getOverloadInstance: string * types * bool -> codetree*string
77 val makeGuard: values * types list * codetree * level * typeVarMap -> codetree
78 val makeInverse: values * types list * codetree * level * typeVarMap -> codetree
99 val getPolymorphism: values * types * typeVarMap -> {value: types, equality: bool, printity: bool} list
101 val getLiteralValue: values * string * types * (string->unit) -> machineWord option
108 type types = types