members2 -> members
[hcoop/zz_old/portal.git] / app / app.sig
CommitLineData
20a679fc 1signature APP =
2sig
3 structure C : SQL_CLIENT
4
5 val init : unit -> unit
6 val done : unit -> unit
7
5146e435 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,
20acb925 13 forward : bool, uses : string, other : string,
14 paypal : string option, checkout : string option }
20a679fc 15
6d56b757 16 val apply : application -> string option
20a679fc 17
18 val validEmail : string -> bool
19 val validUser : string -> bool
20 val userExists : string -> bool
21
6d56b757 22 val confirm : int * string -> bool
8d550734 23end