sig
type 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 *)
+ 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 compare : temp * temp -> order (* comparison function *)
val eq : temp * temp -> bool
end