Mercurial > urweb

comparison src/elab_env.sig @ 11:e97c6d335869

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple elaboration working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 28 Mar 2008 15:20:46 -0400
parents 14b533dbe6cc
children 6049e2193bf2
comparison
equal deleted inserted replaced
10:dde5c52e5e5e 11:e97c6d335869
40 | Named of int * 'a 40 | Named of int * 'a
41 41
42 val pushCRel : env -> string -> Elab.kind -> env 42 val pushCRel : env -> string -> Elab.kind -> env
43 val lookupCRel : env -> int -> string * Elab.kind 43 val lookupCRel : env -> int -> string * Elab.kind
44 44
45 val pushCNamed : env -> string -> Elab.kind -> env * int 45 val pushCNamed : env -> string -> Elab.kind -> Elab.con option -> env * int
46 val pushCNamedAs : env -> string -> int -> Elab.kind -> env 46 val pushCNamedAs : env -> string -> int -> Elab.kind -> Elab.con option -> env
47 val lookupCNamed : env -> int -> string * Elab.kind 47 val lookupCNamed : env -> int -> string * Elab.kind * Elab.con option
48 48
49 val lookupC : env -> string -> Elab.kind var 49 val lookupC : env -> string -> Elab.kind var
50 50
51 val pushERel : env -> string -> Elab.con -> env 51 val pushERel : env -> string -> Elab.con -> env
52 val lookupERel : env -> int -> string * Elab.con 52 val lookupERel : env -> int -> string * Elab.con