val check : string -> Env.env * Ast.exp option
val check' : Env.env -> string -> Env.env
+ val checkDir : string -> bool
val basis : unit -> Env.env
val eval : string -> unit
val request : string -> unit
+ val requestDir : string -> unit
+
val requestGrant : Acl.acl -> unit
val requestRevoke : Acl.acl -> unit
val requestListPerms : string -> (string * string list) list option