Mercurial > urweb

diff src/core_env.sig @ 20:1ab48e37d0ef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some con reducing
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 15:47:44 -0400
parents bc7b76ca57e0
children d3cc191cb25f
line wrap: on
line diff
--- a/src/core_env.sig	Sun Jun 08 14:42:12 2008 -0400
+++ b/src/core_env.sig	Sun Jun 08 15:47:44 2008 -0400
@@ -27,6 +27,8 @@
 
 signature CORE_ENV = sig
 
+    val liftConInCon : int -> Core.con -> Core.con
+
     type env
 
     val empty : env
@@ -44,8 +46,8 @@
     val pushERel : env -> string -> Core.con -> env
     val lookupERel : env -> int -> string * Core.con
 
-    val pushENamed : env -> string -> int -> Core.con -> env
-    val lookupENamed : env -> int -> string * Core.con
+    val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> env
+    val lookupENamed : env -> int -> string * Core.con * Core.exp option
 
     val declBinds : env -> Core.decl -> env