From c0b7963e91681045bb4c82a2356776fae54f54c5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 3 Aug 2008 10:48:36 -0400
Subject: Cases through monoize

---
 src/mono_env.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/mono_env.sig')

diff --git a/src/mono_env.sig b/src/mono_env.sig
index 5b270799..0c842de3 100644
--- a/src/mono_env.sig
+++ b/src/mono_env.sig
@@ -46,5 +46,6 @@ signature MONO_ENV = sig
     val lookupENamed : env -> int -> string * Mono.typ * Mono.exp option * string
 
     val declBinds : env -> Mono.decl -> env
+    val patBinds : env -> Mono.pat -> env
                                                  
 end
-- 
cgit v1.2.3