Mercurial > urweb

comparison src/mono_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 0a762c73824d
children 813e5a52063d
comparison
equal deleted inserted replaced
55:5c97b7cd912b 56:d3cc191cb25f
28 signature MONO_ENV = sig 28 signature MONO_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 36
38 val pushTNamed : env -> string -> int -> Mono.typ option -> env 37 val pushTNamed : env -> string -> int -> Mono.typ option -> env