[hcoop/zz_old/portal.git] / app.sig

signature APP =
sig
    datatype status =
	     CONFIRMING
	   | PENDING
	   | ACCEPTED
	   | REJECTED

    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 lookupApp : int -> app

end
Commit	Line	Data
20a679fc	1	signature APP =
	2	sig
	3	datatype status =
	4	CONFIRMING
	5	\| PENDING
	6	\| ACCEPTED
	7	\| REJECTED
	8
	9	type app = { id : int, name : string, rname : string, email : string,
	10	forward : bool, uses : string, other : string, passwd : string,
	11	status : status, stamp : Init.C.timestamp }
	12
	13	val lookupApp : int -> app
	14
	15	end