add44c00 |
1 | signature ROLL = |
2 | sig |
3 | val activeUsernames : unit -> string list |
4 | |
5 | type roll_call = { |
6 | id : int, |
7 | title : string, |
8 | msg : string, |
9 | started : Init.C.timestamp |
10 | } |
11 | |
12 | val addRollCall : string * string -> int |
13 | val modRollCall : roll_call -> unit |
14 | val deleteRollCall : int -> unit |
15 | val lookupRollCall : int -> roll_call |
16 | val listRollCalls : unit -> roll_call list |
17 | |
18 | type roll_call_entry = { |
19 | rol : int, |
20 | usr : int, |
21 | code : string, |
22 | responded : Init.C.timestamp option |
23 | } |
24 | |
25 | val listEntries : int -> (Init.user * roll_call_entry) list * (Init.user * roll_call_entry) list |
26 | val lookupEntry : int * int -> roll_call_entry |
27 | val respond : int * int -> unit |
28 | end |