val reduce : Env.env -> string -> Env.env * Ast.exp option
val eval : Env.env -> Env.env_vars -> string -> Env.env * Env.env_vars
val reduce : Env.env -> string -> Env.env * Ast.exp option
val eval : Env.env -> Env.env_vars -> string -> Env.env * Env.env_vars
val requestRegenTc : unit -> unit
val requestRmuser : string -> unit
val requestDescribe : string -> unit
val requestRegenTc : unit -> unit
val requestRmuser : string -> unit
val requestDescribe : string -> unit
val requestTrustedPath : {node : string, uname : string} -> OS.Process.status
val requestSocketPerm : {node : string, uname : string} -> OS.Process.status
val requestFirewall : {node : string, uname : string} -> OS.Process.status
val requestTrustedPath : {node : string, uname : string} -> OS.Process.status
val requestSocketPerm : {node : string, uname : string} -> OS.Process.status
val requestFirewall : {node : string, uname : string} -> OS.Process.status