X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/36e42cb86393a7b9e333ecd7edfbdd16c7d9a1ac..ce01b51a0ad907253957a8ca9419cf2fbd42af91:/src/main.sig diff --git a/src/main.sig b/src/main.sig index 69abb82..9e6dda3 100644 --- a/src/main.sig +++ b/src/main.sig @@ -31,7 +31,14 @@ signature MAIN = sig val eval : string -> unit val request : string -> unit + val requestGrant : Acl.acl -> unit + val requestRevoke : Acl.acl -> unit + val requestListPerms : string -> (string * string list) list option + val requestWhoHas : {class : string, value : string} -> string list option + val service : unit -> unit val slave : unit -> unit + val autodocBasis : string -> unit + end