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
  15     val apply : application -> string option
  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