| 1 | signature APP = |
| 2 | sig |
| 3 | structure C : SQL_CLIENT |
| 4 | |
| 5 | val init : unit -> unit |
| 6 | val done : unit -> unit |
| 7 | |
| 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, |
| 13 | forward : bool, uses : string, other : string, |
| 14 | paypal : string option, checkout : string option } |
| 15 | |
| 16 | val apply : application -> string option |
| 17 | |
| 18 | val validEmail : string -> bool |
| 19 | val validUser : string -> bool |
| 20 | val userExists : string -> bool |
| 21 | |
| 22 | val confirm : int * string -> bool |
| 23 | end |