val makeSet : ('a -> string) -> 'a list -> string
val neg : real -> real
val add : real * real -> real
+ val mult : int * real -> real
val validHost : string -> bool
val validDomain : string -> bool
val domainDir : string -> string
val readFile : string -> string
+
+ val mem : ''a * ''a list -> bool
end