util.sig

   1 signature UTIL =
   2 sig
   3     datatype 'a flat_element =
   4              BEGIN
   5            | END
   6            | ITEM of 'a
   7     type 'a flat_tree = 'a flat_element list
   8
   9     val printInt : int -> unit
  10     val printReal : real -> unit
  11
  12     val id : 'a -> 'a
  13     val makeSet : ('a -> string) -> 'a list -> string
  14     val neg : real -> real
  15 end