Dependency ordering

[hcoop/zz_old/domtool2-proto.git] / src / env.sig

diff --git a/src/env.sig b/src/env.sig
index adbf0b4..5108bea 100644 (file)
--- a/src/env.sig
+++ b/src/env.sig
@@ -56,9 +56,14 @@ signature ENV = sig
 
     val bindType : env -> string -> env
     val bindVal : env -> string * Ast.typ * Ast.exp option -> env
+    val bindContext : env -> string -> env
 
     val lookupType : env -> string -> bool
     val lookupVal : env -> string -> Ast.typ option
     val lookupEquation : env -> string -> Ast.exp option
+    val lookupContext : env -> string -> bool
 
+    val types : env -> Ast.StringSet.set
+    val vals : env -> Ast.StringSet.set
+    val contexts : env -> Ast.StringSet.set
 end