Join script should rule out retired usernames

[bpt/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
 
+    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