Mercurial > urweb

diff src/core_env.sig @ 443:bd9ee9aeca2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 16:58:54 -0400
parents e21d0dddda09
children 230654093b51
line wrap: on
line diff
--- a/src/core_env.sig	Thu Oct 30 15:39:06 2008 -0400
+++ b/src/core_env.sig	Thu Oct 30 16:58:54 2008 -0400
@@ -33,6 +33,9 @@
     val liftConInExp : int -> Core.exp -> Core.exp
     val subConInExp : (int * Core.con) -> Core.exp -> Core.exp
 
+    val liftExpInExp : int -> Core.exp -> Core.exp
+    val subExpInExp : (int * Core.exp) -> Core.exp -> Core.exp
+
     type env
 
     val empty : env