Lines Matching defs:types
22 type types
47 (* Functions to make debug entries for various values, types etc. *)
65 (debuggerStatus -> codetree) * string * codetree * types * types *
71 val makeValue: debugState -> string * types * locationProp list * machineWord -> values
72 and makeException: debugState -> string * types * locationProp list * machineWord -> values
74 debugState -> string * types * bool * int * locationProp list * machineWord -> values
75 and makeAnonymousValue: debugState -> types * machineWord -> values
87 type types = types