Mercurial > urweb

comparison src/flat_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 4ab19c19665f
children
comparison
equal deleted inserted replaced
55:5c97b7cd912b 56:d3cc191cb25f
28 signature FLAT_ENV = sig 28 signature FLAT_ENV = sig
29 29
30 type env 30 type env
31 31
32 val empty : env 32 val empty : env
33 val basis : env
34 33
35 exception UnboundRel of int 34 exception UnboundRel of int
36 exception UnboundNamed of int 35 exception UnboundNamed of int
37 exception UnboundF of int 36 exception UnboundF of int
38 37