- val reset : unit -> unit (* resets temp numbering *)
- val new : string -> temp (* returns a unique new temp *)
- val name : temp -> string (* returns the name of a temp *)
+ val reset : unit -> unit (* resets temp numbering *)
+ val new : string -> temp (* returns a unique new temp *)
+ val name : temp -> string (* returns the name of a temp *)