From 5765efc372a628ede62d8b27c799708f530a3456 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 6 Oct 2009 15:39:27 -0400
Subject: SELECT DISTINCT; eta expansion during Cjrization

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

(limited to 'src/mono_env.sig')

diff --git a/src/mono_env.sig b/src/mono_env.sig
index c59596ae..c5ca7c0b 100644
--- a/src/mono_env.sig
+++ b/src/mono_env.sig
@@ -48,5 +48,7 @@ signature MONO_ENV = sig
     val declBinds : env -> Mono.decl -> env
     val patBinds : env -> Mono.pat -> env
     val patBindsN : Mono.pat -> int
+
+    val liftExpInExp : int -> Mono.exp -> Mono.exp
                                                  
 end
-- 
cgit v1.2.3