val makeSet : ('a -> string) -> 'a list -> string
val neg : real -> real
val add : real * real -> real
+ val sub : real * real -> real
val mult : int * real -> real
+ val lt : real * real -> bool
+ val ge : real * real -> bool
+
val validHost : string -> bool
val validDomain : string -> bool
val validEmail : string -> bool