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     type application = { name : string, rname : string, email : string,
   9                          forward : bool, uses : string, other : string }
  10
  11     val apply : application -> bool
  12
  13     val validEmail : string -> bool
  14     val validUser : string -> bool
  15     val userExists : string -> bool
  16
  17     val confirm : int * string -> bool
  18 end