Commit | Line | Data |
---|---|---|
208e2cbc AC |
1 | signature UTIL = |
2 | sig | |
9d1c0e98 AC |
3 | val init : unit -> unit |
4 | ||
b340786b AC |
5 | datatype 'a flat_element = |
6 | BEGIN | |
7 | | END | |
8 | | ITEM of 'a | |
9 | type 'a flat_tree = 'a flat_element list | |
10 | ||
208e2cbc AC |
11 | val printInt : int -> unit |
12 | val printReal : real -> unit | |
13 | ||
14 | val id : 'a -> 'a | |
15 | val makeSet : ('a -> string) -> 'a list -> string | |
f49e1088 | 16 | val neg : real -> real |
9bda1e7f | 17 | val add : real * real -> real |
5da9f4a9 AC |
18 | |
19 | val validHost : string -> bool | |
20 | val validDomain : string -> bool | |
9d1c0e98 | 21 | val validEmail : string -> bool |
5da9f4a9 | 22 | val whoisUrl : string -> string |
9d1c0e98 AC |
23 | |
24 | val randomPassword : unit -> string | |
37cec107 AC |
25 | |
26 | val domainDir : string -> string | |
b90b0980 AC |
27 | |
28 | val readFile : string -> string | |
dfb0d0d7 AC |
29 | |
30 | val mem : ''a * ''a list -> bool | |
37cec107 | 31 | end |