From b9b67597324deb6e6dfc8ef33c60c110abc2af7b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 8 Aug 2008 17:55:51 -0400
Subject: Specialization of single-parameter datatypes

---
 src/core_env.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/core_env.sig')

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
-- 
cgit v1.2.3