3 datatype 'a flat_element =
7 type 'a flat_tree = 'a flat_element list
9 val printInt : int -> unit
10 val printReal : real -> unit
13 val makeSet : ('a -> string) -> 'a list -> string
14 val neg : real -> real
16 val validHost : string -> bool
17 val validDomain : string -> bool
18 val whoisUrl : string -> string