diff src/mono_env.sig @ 567:1901db85acb4

Start of JsComp
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 14:19:21 -0500
parents c0ea24dcb86f
children 10114d7b7477
line wrap: on
line diff
--- a/src/mono_env.sig	Fri Dec 19 12:38:11 2008 -0500
+++ b/src/mono_env.sig	Sat Dec 20 14:19:21 2008 -0500
@@ -47,5 +47,6 @@
 
     val declBinds : env -> Mono.decl -> env
     val patBinds : env -> Mono.pat -> env
+    val patBindsN : Mono.pat -> int
                                                  
 end