]> Joshua Wise's Git repositories - snipe.git/blobdiff - trans/temp.sml
Add cast syntax.
[snipe.git] / trans / temp.sml
index d370d99ccd470eb1c341697127bc7bf49e56996f..68de49ca392630b8259d892fa5d374aff3a7a0ff 100644 (file)
@@ -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
This page took 0.024697 seconds and 4 git commands to generate.