Commit | Line | Data |
---|---|---|
a90da8b1 AC |
1 | signature APP = |
2 | sig | |
3 | structure C : SQL_CLIENT | |
4 | ||
5 | val init : unit -> unit | |
6 | val done : unit -> unit | |
7 | ||
f3f3ad24 AC |
8 | val readTosBody : unit -> string |
9 | val readTosAgree : unit -> string | |
10 | val readTosMinorAgree : unit -> string | |
11 | ||
12 | type application = { name : string, rname : string, gname : string option, email : string, | |
a90da8b1 AC |
13 | forward : bool, uses : string, other : string } |
14 | ||
15 | val apply : application -> bool | |
16 | ||
17 | val validEmail : string -> bool | |
18 | val validUser : string -> bool | |
19 | val userExists : string -> bool | |
20 | ||
21 | val confirm : int * string -> bool | |
22 | end |