From 2355b20a32d8ed4924cee84a44831061b2b49b49 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 12 Jun 2008 17:16:20 -0400 Subject: Simple signature matching --- src/elab_env.sig | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) (limited to 'src/elab_env.sig') diff --git a/src/elab_env.sig b/src/elab_env.sig index 8fe1da71..05badecf 100644 --- a/src/elab_env.sig +++ b/src/elab_env.sig @@ -58,9 +58,22 @@ signature ELAB_ENV = sig val pushENamed : env -> string -> Elab.con -> env * int val pushENamedAs : env -> string -> int -> Elab.con -> env val lookupENamed : env -> int -> string * Elab.con - + val lookupE : env -> string -> Elab.con var + val pushSgnNamed : env -> string -> Elab.sgn -> env * int + val pushSgnNamedAs : env -> string -> int -> Elab.sgn -> env + val lookupSgnNamed : env -> int -> string * Elab.sgn + + val lookupSgn : env -> string -> (int * Elab.sgn) option + + val pushStrNamed : env -> string -> Elab.sgn -> env * int + val pushStrNamedAs : env -> string -> int -> Elab.sgn -> env + val lookupStrNamed : env -> int -> string * Elab.sgn + + val lookupStr : env -> string -> (int * Elab.sgn) option + val declBinds : env -> Elab.decl -> env + val sgiBinds : env -> Elab.sgn_item -> env end -- cgit v1.2.3