util.sig

   1 signature UTIL =
   2 sig
   3     val init : unit -> unit
   4
   5     datatype 'a flat_element =
   6              BEGIN
   7            | END
   8            | ITEM of 'a
   9     type 'a flat_tree = 'a flat_element list
  10
  11     val printInt : int -> unit
  12     val printReal : real -> unit
  13
  14     val id : 'a -> 'a
  15     val makeSet : ('a -> string) -> 'a list -> string
  16     val neg : real -> real
  17     val add : real * real -> real
  18
  19     val validHost : string -> bool
  20     val validDomain : string -> bool
  21     val validEmail : string -> bool
  22     val whoisUrl : string -> string
  23
  24     val randomPassword : unit -> string
  25 end