summaryrefslogtreecommitdiff
path: root/src/core_env.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/core_env.sig')
-rw-r--r--src/core_env.sig2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/core_env.sig b/src/core_env.sig
index b2005fa8..220c1da8 100644
--- a/src/core_env.sig
+++ b/src/core_env.sig
@@ -45,6 +45,8 @@ signature CORE_ENV = sig
val pushDatatype : env -> string -> int -> (string * int * Core.con option) list -> env
val lookupDatatype : env -> int -> string * (string * int * Core.con option) list
+ val lookupConstructor : env -> int -> string * Core.con option * int
+
val pushERel : env -> string -> Core.con -> env
val lookupERel : env -> int -> string * Core.con