PayPal link mentioned in reminder e-mails
[bpt/portal.git] / util.sig
CommitLineData
208e2cbc
AC
1signature UTIL =
2sig
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 31end