Support ! as a ProxyPass target

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

diff --git a/src/env.sig b/src/env.sig
index c8371a8..6668c5e 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
@@ -104,7 +104,7 @@ signature ENV = sig
 
     val lookupType : env -> string -> bool
     val lookupVal : env -> string -> Ast.typ option
-    val lookupEquation : env -> string -> Ast.exp option
+    val lookupEquation : env -> string -> (Ast.exp * env) option
     val lookupContext : env -> string -> bool
     val lookupInitialDynEnvVal : env -> string -> Ast.typ option