Mercurial > urweb

diff src/elab_env.sig @ 487:33d5bd69da00

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Get threadedBlog to work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 11:49:51 -0500
parents 20fab0e96217
children 588b9d16b00a
line wrap: on
line diff
--- a/src/elab_env.sig	Sun Nov 09 18:19:47 2008 -0500
+++ b/src/elab_env.sig	Tue Nov 11 11:49:51 2008 -0500
@@ -30,6 +30,7 @@
     exception SynUnif
     val liftConInCon : int -> Elab.con -> Elab.con
 
+    val liftConInExp : int -> Elab.exp -> Elab.exp
     val liftExpInExp : int -> Elab.exp -> Elab.exp
 
     val subExpInExp : (int * Elab.exp) -> Elab.exp -> Elab.exp