From aed3aa32e62846a16da55fc7be4cecba92ed5e2b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Mar 2009 20:34:21 -0400
Subject: Conversion of functions to CPS, to facilitate ServerCall

---
 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 6b954c12..929e848d 100644
--- a/src/core_env.sig
+++ b/src/core_env.sig
@@ -65,5 +65,7 @@ signature CORE_ENV = sig
 
     val declBinds : env -> Core.decl -> env
     val patBinds : env -> Core.pat -> env
+
+    val patBindsN : Core.pat -> int
                                                  
 end
-- 
cgit v1.2.3