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, | |
d5f8418b AC |
13 | forward : bool, uses : string, other : string, |
14 | paypal : string option, checkout : string option } | |
a90da8b1 | 15 | |
eea7b531 | 16 | val apply : application -> string option |
a90da8b1 AC |
17 | |
18 | val validEmail : string -> bool | |
19 | val validUser : string -> bool | |
20 | val userExists : string -> bool | |
21 | ||
eea7b531 | 22 | val confirm : int * string -> bool |
a2d53da2 | 23 | end |