Mercurial > urweb

comparison src/elab_env.sig @ 31:1c91c5e6840f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents f1c36df29ed7
children 44b5405e74c7
comparison
equal deleted inserted replaced
30:e6ccf961d8a3 31:1c91c5e6840f
56 val lookupERel : env -> int -> string * Elab.con 56 val lookupERel : env -> int -> string * Elab.con
57 57
58 val pushENamed : env -> string -> Elab.con -> env * int 58 val pushENamed : env -> string -> Elab.con -> env * int
59 val pushENamedAs : env -> string -> int -> Elab.con -> env 59 val pushENamedAs : env -> string -> int -> Elab.con -> env
60 val lookupENamed : env -> int -> string * Elab.con 60 val lookupENamed : env -> int -> string * Elab.con
61 61
62 val lookupE : env -> string -> Elab.con var 62 val lookupE : env -> string -> Elab.con var
63 63
64 val pushSgnNamed : env -> string -> Elab.sgn -> env * int
65 val pushSgnNamedAs : env -> string -> int -> Elab.sgn -> env
66 val lookupSgnNamed : env -> int -> string * Elab.sgn
67
68 val lookupSgn : env -> string -> (int * Elab.sgn) option
69
70 val pushStrNamed : env -> string -> Elab.sgn -> env * int
71 val pushStrNamedAs : env -> string -> int -> Elab.sgn -> env
72 val lookupStrNamed : env -> int -> string * Elab.sgn
73
74 val lookupStr : env -> string -> (int * Elab.sgn) option
75
64 val declBinds : env -> Elab.decl -> env 76 val declBinds : env -> Elab.decl -> env
77 val sgiBinds : env -> Elab.sgn_item -> env
65 78
66 end 79 end