Mercurial > urweb

comparison src/elab_env.sig @ 5:258261a53842

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating files
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 16:02:47 -0500
parents 64f09f7822c3
children 14b533dbe6cc
comparison
equal deleted inserted replaced
4:5c3cc348e9e6 5:258261a53842
36 36
37 val pushCRel : env -> string -> Elab.kind -> env 37 val pushCRel : env -> string -> Elab.kind -> env
38 val lookupCRel : env -> int -> string * Elab.kind 38 val lookupCRel : env -> int -> string * Elab.kind
39 39
40 val pushCNamed : env -> string -> Elab.kind -> env * int 40 val pushCNamed : env -> string -> Elab.kind -> env * int
41 val pushCNamedAs : env -> string -> int -> Elab.kind -> env
41 val lookupCNamed : env -> int -> string * Elab.kind 42 val lookupCNamed : env -> int -> string * Elab.kind
42 43
43 datatype var = 44 datatype var =
44 CNotBound 45 CNotBound
45 | CRel of int * Elab.kind 46 | CRel of int * Elab.kind