Mercurial > urweb

diff src/elab_env.sig @ 11:e97c6d335869

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple elaboration working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 28 Mar 2008 15:20:46 -0400
parents 14b533dbe6cc
children 6049e2193bf2
line wrap: on
line diff
--- a/src/elab_env.sig	Fri Mar 28 13:59:03 2008 -0400
+++ b/src/elab_env.sig	Fri Mar 28 15:20:46 2008 -0400
@@ -42,9 +42,9 @@
     val pushCRel : env -> string -> Elab.kind -> env
     val lookupCRel : env -> int -> string * Elab.kind
 
-    val pushCNamed : env -> string -> Elab.kind -> env * int
-    val pushCNamedAs : env -> string -> int -> Elab.kind -> env
-    val lookupCNamed : env -> int -> string * Elab.kind
+    val pushCNamed : env -> string -> Elab.kind -> Elab.con option -> env * int
+    val pushCNamedAs : env -> string -> int -> Elab.kind -> Elab.con option -> env
+    val lookupCNamed : env -> int -> string * Elab.kind * Elab.con option
 
     val lookupC : env -> string -> Elab.kind var