X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e140629ff492a6440c7b0d892d27ed443a2f9cd9..621629dc64ea614907eb1f9b77e3288d8dbd299f:/src/env.sig

diff --git a/src/env.sig b/src/env.sig
index c8371a8..6668c5e 100644
--- 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