| PENDING
| ACCEPTED
| REJECTED
+ | ADDED
- type app = { id : int, name : string, rname : string, email : string,
- forward : bool, uses : string, other : string, passwd : string,
- status : status, stamp : Init.C.timestamp }
+ val readTosBody : unit -> string
+ val readTosAgree : unit -> string
+ val readTosMinorAgree : unit -> string
+
+ type app = { id : int, name : string, rname : string, gname : string option, email : string,
+ forward : bool, uses : string, other : string,
+ passwd : string, status : status, applied : Init.C.timestamp,
+ ipaddr : string option,
+ confirmed : Init.C.timestamp option, decided : Init.C.timestamp option,
+ msg : string }
val lookupApp : int -> app
+ val listApps : status -> app list
+
+ val votes : int -> (int * string) list
+ val vote : int * int -> unit
+ val unvote : int * int -> unit
+ val deny : int * string -> bool
+ val approve : int * string -> bool
+ val add : int -> unit
+ val abortAdd : int -> unit
end
\ No newline at end of file