app/app.sig

   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 validUsername : string -> bool
  20     val userExists : string -> bool
  21
  22     val confirm : int * string -> bool
  23 end