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     val mult : int * real -> real
  19
  20     val validHost : string -> bool
  21     val validDomain : string -> bool
  22     val validEmail : string -> bool
  23     val whoisUrl : string -> string
  24
  25     val randomPassword : unit -> string
  26
  27     val domainDir : string -> string
  28
  29     val readFile : string -> string
  30
  31     val mem : ''a * ''a list -> bool
  32
  33     val allLower : string -> string
  34     val normEmail : string -> string
  35 end