Mercurial > urweb

comparison src/elab_env.sig @ 14:f1c36df29ed7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Primitive type constants
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 12:27:08 -0400
parents 6049e2193bf2
children 1c91c5e6840f
comparison
equal deleted inserted replaced
13:6049e2193bf2 14:f1c36df29ed7
31 val liftConInCon : int -> Elab.con -> Elab.con 31 val liftConInCon : int -> Elab.con -> Elab.con
32 32
33 type env 33 type env
34 34
35 val empty : env 35 val empty : env
36 val basis : env
36 37
37 exception UnboundRel of int 38 exception UnboundRel of int
38 exception UnboundNamed of int 39 exception UnboundNamed of int
39 40
40 datatype 'a var = 41 datatype 'a var =