8d347a33 |
1 | signature UTIL = |
2 | sig |
78304862 |
3 | val init : unit -> unit |
4 | |
51520441 |
5 | datatype 'a flat_element = |
6 | BEGIN |
7 | | END |
8 | | ITEM of 'a |
9 | type 'a flat_tree = 'a flat_element list |
10 | |
8d347a33 |
11 | val printInt : int -> unit |
12 | val printReal : real -> unit |
13 | |
14 | val id : 'a -> 'a |
15 | val makeSet : ('a -> string) -> 'a list -> string |
f1ea3762 |
16 | val neg : real -> real |
f98251aa |
17 | val add : real * real -> real |
892e3ea1 |
18 | val mult : int * real -> real |
ff2b7604 |
19 | |
20 | val validHost : string -> bool |
21 | val validDomain : string -> bool |
78304862 |
22 | val validEmail : string -> bool |
ff2b7604 |
23 | val whoisUrl : string -> string |
78304862 |
24 | |
25 | val randomPassword : unit -> string |
f038f26c |
26 | |
27 | val domainDir : string -> string |
ce7b516a |
28 | |
29 | val readFile : string -> string |
3ad30cf6 |
30 | |
31 | val mem : ''a * ''a list -> bool |
f038f26c |
32 | end |