| 1 | signature REQUESTH_IN = |
| 2 | sig |
| 3 | val table : string |
| 4 | val adminGroup : string |
| 5 | val subject : string -> string |
| 6 | val body : {node : int, mail : Mail.session, data : string} -> unit |
| 7 | val template : string |
| 8 | val descr : string |
| 9 | end |
| 10 | |
| 11 | signature REQUESTH_OUT = |
| 12 | sig |
| 13 | datatype status = |
| 14 | NEW |
| 15 | | INSTALLED |
| 16 | | REJECTED |
| 17 | |
| 18 | type request = { id : int, usr : int, node : int, data : string, msg : string, status : status, |
| 19 | stamp : Init.C.timestamp, cstamp : Init.C.timestamp option } |
| 20 | |
| 21 | val statusFromInt : int -> status |
| 22 | |
| 23 | val add : {usr : int, node : int, data : string, msg : string} -> int |
| 24 | val lookup : int -> request |
| 25 | val modify : request -> unit |
| 26 | val delete : int -> unit |
| 27 | val list : unit -> (string * request) list |
| 28 | val listOpen : unit -> (string * request) list |
| 29 | |
| 30 | val notifyNew : int -> bool |
| 31 | val notifyMod : {old : status, new : status, changer : string, req : int} -> bool |
| 32 | end |