Reduce toplevel environment decls and allow them in user config

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

diff --git a/src/env.sig b/src/env.sig
index c8371a8..d67c9f4 100644 (file)
--- a/src/env.sig
+++ b/src/env.sig
@@ -95,7 +95,7 @@ signature ENV = sig
     val empty : env
 
     val initialDynEnvTypes : env -> Ast.typ Ast.StringMap.map
-    val initialDynEnvVals : env -> env_vars
+    val initialDynEnvVals : (env -> Ast.exp -> Ast.exp) -> env -> env_vars
 
     val bindType : env -> string -> env
     val bindVal : env -> string * Ast.typ * Ast.exp option -> env