X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/6ade8b0a3251e44b34c6bdbbd9403e36d6fd6231..141a7120aec6ddf3ab097f275498d8e3a1b90401:/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