Mercurial > urweb

comparison src/mono_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
38 val lookupTNamed : env -> int -> string * Mono.typ option 38 val lookupTNamed : env -> int -> string * Mono.typ option
39 39
40 val pushERel : env -> string -> Mono.typ -> env 40 val pushERel : env -> string -> Mono.typ -> env
41 val lookupERel : env -> int -> string * Mono.typ 41 val lookupERel : env -> int -> string * Mono.typ
42 42
43 val pushENamed : env -> string -> int -> Mono.typ -> Mono.exp option -> env 43 val pushENamed : env -> string -> int -> Mono.typ -> Mono.exp option -> string -> env
44 val lookupENamed : env -> int -> string * Mono.typ * Mono.exp option 44 val lookupENamed : env -> int -> string * Mono.typ * Mono.exp option * string
45 45
46 val declBinds : env -> Mono.decl -> env 46 val declBinds : env -> Mono.decl -> env
47 47
48 end 48 end