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

signature QOS = sig

    type entry = { kind : string, kindUrl : string option, name : string, url : string option, usr : int, uname : string,
		   stamp : Init.C.timestamp, pstamp : Init.C.timestamp option, cstamp : Init.C.timestamp option}

    val recent : int -> entry list

    type grade = { count : int, minutes : int }
    type grades = { pending : grade, closed : grade }
    type reportCard = { misc : grades,
			apt : grade,
			domain : grade,
			mailingList : grade,
			sec : grade }

    val reportCard : int -> reportCard

end
Commit	Line	Data
cac002c5	1	signature QOS = sig
	2
	3	type entry = { kind : string, kindUrl : string option, name : string, url : string option, usr : int, uname : string,
	4	stamp : Init.C.timestamp, pstamp : Init.C.timestamp option, cstamp : Init.C.timestamp option}
	5
	6	val recent : int -> entry list
	7
887106e3	8	type grade = { count : int, minutes : int }
	9	type grades = { pending : grade, closed : grade }
	10	type reportCard = { misc : grades,
	11	apt : grade,
	12	domain : grade,
	13	mailingList : grade,
	14	sec : grade }
	15
	16	val reportCard : int -> reportCard
	17
cac002c5	18	end