Mercurial > urweb

comparison src/core_env.sig @ 56:d3cc191cb25f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Separate compilation and automatic basis importation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 14:23:05 -0400
parents 1ab48e37d0ef
children 813e5a52063d
comparison
equal deleted inserted replaced
55:5c97b7cd912b 56:d3cc191cb25f
30 val liftConInCon : int -> Core.con -> Core.con 30 val liftConInCon : int -> Core.con -> Core.con
31 31
32 type env 32 type env
33 33
34 val empty : env 34 val empty : env
35 val basis : env
36 35
37 exception UnboundRel of int 36 exception UnboundRel of int
38 exception UnboundNamed of int 37 exception UnboundNamed of int
39 38
40 val pushCRel : env -> string -> Core.kind -> env 39 val pushCRel : env -> string -> Core.kind -> env