Mercurial > urweb

comparison src/core_env.sig @ 193:8a70e2919e86

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Specialization of single-parameter datatypes
author Adam Chlipala <adamc@hcoop.net>
date Fri, 08 Aug 2008 17:55:51 -0400
parents 9bbf4d383381
children e21d0dddda09
comparison
equal deleted inserted replaced
192:9bbf4d383381 193:8a70e2919e86
26 *) 26 *)
27 27
28 signature CORE_ENV = sig 28 signature CORE_ENV = sig
29 29
30 val liftConInCon : int -> Core.con -> Core.con 30 val liftConInCon : int -> Core.con -> Core.con
31 val subConInCon : (int * Core.con) -> Core.con -> Core.con
31 32
32 type env 33 type env
33 34
34 val empty : env 35 val empty : env
35 36
52 53
53 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env 54 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env
54 val lookupENamed : env -> int -> string * Core.con * Core.exp option * string 55 val lookupENamed : env -> int -> string * Core.con * Core.exp option * string
55 56
56 val declBinds : env -> Core.decl -> env 57 val declBinds : env -> Core.decl -> env
58 val patBinds : env -> Core.pat -> env
57 59
58 end 60 end