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 b0cf8304..7b72235f 100644
--- a/src/core_env.sig
+++ b/src/core_env.sig
@@ -28,6 +28,7 @@
signature CORE_ENV = sig
val liftConInCon : int -> Core.con -> Core.con
+ val subConInCon : (int * Core.con) -> Core.con -> Core.con
type env
@@ -54,5 +55,6 @@ signature CORE_ENV = sig
val lookupENamed : env -> int -> string * Core.con * Core.exp option * string
val declBinds : env -> Core.decl -> env
+ val patBinds : env -> Core.pat -> env
end