| 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 |