Mercurial > urweb

comparison src/elab_env.sig @ 447:b77863cd0be2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating 'let'
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 11:17:29 -0400
parents 8084fa9216de
children 85819353a84f
comparison
equal deleted inserted replaced
446:86c063fedc4d 447:b77863cd0be2
83 val pushStrNamedAs : env -> string -> int -> Elab.sgn -> env 83 val pushStrNamedAs : env -> string -> int -> Elab.sgn -> env
84 val lookupStrNamed : env -> int -> string * Elab.sgn 84 val lookupStrNamed : env -> int -> string * Elab.sgn
85 85
86 val lookupStr : env -> string -> (int * Elab.sgn) option 86 val lookupStr : env -> string -> (int * Elab.sgn) option
87 87
88 val edeclBinds : env -> Elab.edecl -> env
88 val declBinds : env -> Elab.decl -> env 89 val declBinds : env -> Elab.decl -> env
89 val sgiBinds : env -> Elab.sgn_item -> env 90 val sgiBinds : env -> Elab.sgn_item -> env
90 91
91 val hnormSgn : env -> Elab.sgn -> Elab.sgn 92 val hnormSgn : env -> Elab.sgn -> Elab.sgn
92 93