util.sig

   1 signature UTIL =
   2 sig
   3     val printInt : int -> unit
   4     val printReal : real -> unit
   5
   6     val id : 'a -> 'a
   7     val makeSet : ('a -> string) -> 'a list -> string
   8     val neg : real -> real
   9 end