From 7bc788c67ed9331773355ceeae4ace7923a6e914 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 11 Sep 2008 09:36:47 -0400
Subject: Unpoly non-recursive function

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

(limited to 'src/core_env.sig')

diff --git a/src/core_env.sig b/src/core_env.sig
index 7b72235f..cdbf5946 100644
--- a/src/core_env.sig
+++ b/src/core_env.sig
@@ -30,6 +30,9 @@ signature CORE_ENV = sig
     val liftConInCon : int -> Core.con -> Core.con
     val subConInCon : (int * Core.con) -> Core.con -> Core.con
 
+    val liftConInExp : int -> Core.exp -> Core.exp
+    val subConInExp : (int * Core.con) -> Core.exp -> Core.exp
+
     type env
 
     val empty : env
-- 
cgit v1.2.3