X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/6ade8b0a3251e44b34c6bdbbd9403e36d6fd6231..de034162d9af50e6bfb454f4de67213d856137c4:/trans/temp.sml?ds=sidebyside diff --git a/trans/temp.sml b/trans/temp.sml index d370d99..68de49c 100644 --- a/trans/temp.sml +++ b/trans/temp.sml @@ -9,9 +9,9 @@ signature TEMP = 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