Mercurial > urweb

comparison src/core_env.sig @ 20:1ab48e37d0ef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some con reducing
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 15:47:44 -0400
parents bc7b76ca57e0
children d3cc191cb25f
comparison
equal deleted inserted replaced
19:e634ae817a8e 20:1ab48e37d0ef
25 * POSSIBILITY OF SUCH DAMAGE. 25 * POSSIBILITY OF SUCH DAMAGE.
26 *) 26 *)
27 27
28 signature CORE_ENV = sig 28 signature CORE_ENV = sig
29 29
30 val liftConInCon : int -> Core.con -> Core.con
31
30 type env 32 type env
31 33
32 val empty : env 34 val empty : env
33 val basis : env 35 val basis : env
34 36
42 val lookupCNamed : env -> int -> string * Core.kind * Core.con option 44 val lookupCNamed : env -> int -> string * Core.kind * Core.con option
43 45
44 val pushERel : env -> string -> Core.con -> env 46 val pushERel : env -> string -> Core.con -> env
45 val lookupERel : env -> int -> string * Core.con 47 val lookupERel : env -> int -> string * Core.con
46 48
47 val pushENamed : env -> string -> int -> Core.con -> env 49 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> env
48 val lookupENamed : env -> int -> string * Core.con 50 val lookupENamed : env -> int -> string * Core.con * Core.exp option
49 51
50 val declBinds : env -> Core.decl -> env 52 val declBinds : env -> Core.decl -> env
51 53
52 end 54 end