From a6d534b172ccb8eadc24e0e903b196085869800e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 28 Mar 2008 15:20:46 -0400 Subject: Simple elaboration working --- src/elab_env.sig | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/elab_env.sig') diff --git a/src/elab_env.sig b/src/elab_env.sig index f24206ee..075fe0dd 100644 --- a/src/elab_env.sig +++ b/src/elab_env.sig @@ -42,9 +42,9 @@ signature ELAB_ENV = sig 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 -- cgit v1.2.3