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