diff options
Diffstat (limited to 'src/elab_env.sig')
-rw-r--r-- | src/elab_env.sig | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/elab_env.sig b/src/elab_env.sig index fb95d68e..4f994221 100644 --- a/src/elab_env.sig +++ b/src/elab_env.sig @@ -61,7 +61,6 @@ signature ELAB_ENV = sig val lookupCNamed : env -> int -> string * Elab.kind * Elab.con option val lookupC : env -> string -> Elab.kind var - val matchCByPrefix: env -> string -> (string * Elab.kind) list val pushDatatype : env -> int -> string list -> (string * int * Elab.con option) list -> env type datatyp @@ -86,7 +85,6 @@ signature ELAB_ENV = sig val pushENamedAs : env -> string -> int -> Elab.con -> env val lookupENamed : env -> int -> string * Elab.con val checkENamed : env -> int -> bool - val matchEByPrefix: env -> string -> (string * Elab.con) list val lookupE : env -> string -> Elab.con var @@ -102,8 +100,10 @@ signature ELAB_ENV = sig val lookupStrNamed : env -> int -> string * Elab.sgn val lookupStr : env -> string -> (int * Elab.sgn) option - val matchStrByPrefix: env -> string -> (string * (int * Elab.sgn)) list + val dumpCs: env -> (string * Elab.kind) list + val dumpEs: env -> (string * Elab.con) list + val dumpStrs: env -> (string * (int * Elab.sgn)) list val edeclBinds : env -> Elab.edecl -> env val declBinds : env -> Elab.decl -> env |