Evaluate `val' and `var' bindings in the environment in which they were defined

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

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