X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1824f573f7f8720514af1dc94d7cfb1de5b15fef..254d5faaae330b43f04ad7f39fb4340457d78776:/src/eval.sig diff --git a/src/eval.sig b/src/eval.sig index 3d05210..557e8c1 100644 --- a/src/eval.sig +++ b/src/eval.sig @@ -20,7 +20,7 @@ signature EVAL = sig - val exec : Env.env_vars -> Ast.exp -> unit - val exec' : Env.env_vars -> Ast.exp -> Env.env_vars + val exec : (Env.env_vars * Env.env_vars) -> Ast.exp -> unit + val exec' : (Env.env_vars * Env.env_vars) -> Ast.exp -> Env.env_vars end