HCoop
/
hcoop
/
zz_old
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
New balance reminder script
[hcoop/zz_old/portal.git]
/
qos.sig
diff --git
a/qos.sig
b/qos.sig
index
d617aec
..
144c564
100644
(file)
--- a/
qos.sig
+++ b/
qos.sig
@@
-5,4
+5,14
@@
signature QOS = sig
val recent : int -> entry list
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
end