Reduce toplevel environment decls and allow them in user config

[hcoop/domtool2.git] / src / eval.sig

diff --git a/src/eval.sig b/src/eval.sig
index 3d05210..557e8c1 100644 (file)
--- 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