Mercurial > urweb

comparison src/core_env.sig @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 10:17:06 -0400
parents d3cc191cb25f
children 25b169416ea8
comparison
equal deleted inserted replaced
108:f59553dc1b6a 109:813e5a52063d
43 val lookupCNamed : env -> int -> string * Core.kind * Core.con option 43 val lookupCNamed : env -> int -> string * Core.kind * Core.con option
44 44
45 val pushERel : env -> string -> Core.con -> env 45 val pushERel : env -> string -> Core.con -> env
46 val lookupERel : env -> int -> string * Core.con 46 val lookupERel : env -> int -> string * Core.con
47 47
48 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> env 48 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env
49 val lookupENamed : env -> int -> string * Core.con * Core.exp option 49 val lookupENamed : env -> int -> string * Core.con * Core.exp option * string
50 50
51 val declBinds : env -> Core.decl -> env 51 val declBinds : env -> Core.decl -> env
52 52
53 end 53 end