app.sig

   1 signature APP =
   2 sig
   3     datatype status =
   4              CONFIRMING
   5            | PENDING
   6            | ACCEPTED
   7            | REJECTED
   8            | ADDED
   9
  10     type app = { id : int, name : string, rname : string, email : string,
  11                  forward : bool, uses : string, other : string,
  12                  passwd : string, status : status, applied : Init.C.timestamp,
  13                  confirmed : Init.C.timestamp option, decided : Init.C.timestamp option,
  14                  msg : string }
  15
  16     val lookupApp : int -> app
  17     val listApps : status -> app list
  18
  19     val votes : int -> (int * string) list
  20     val vote : int * int -> unit
  21     val unvote : int * int -> unit
  22
  23     val deny : int * string -> bool
  24     val approve : int * string -> bool
  25     val add : int -> unit
  26     val abortAdd : int -> unit
  27 end