Mercurial > urweb
comparison src/mono_env.sig @ 567:1901db85acb4
Start of JsComp
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 20 Dec 2008 14:19:21 -0500 |
parents | c0ea24dcb86f |
children | 10114d7b7477 |
comparison
equal
deleted
inserted
replaced
566:a152905c3c3b | 567:1901db85acb4 |
---|---|
45 val pushENamed : env -> string -> int -> Mono.typ -> Mono.exp option -> string -> env | 45 val pushENamed : env -> string -> int -> Mono.typ -> Mono.exp option -> string -> env |
46 val lookupENamed : env -> int -> string * Mono.typ * Mono.exp option * string | 46 val lookupENamed : env -> int -> string * Mono.typ * Mono.exp option * string |
47 | 47 |
48 val declBinds : env -> Mono.decl -> env | 48 val declBinds : env -> Mono.decl -> env |
49 val patBinds : env -> Mono.pat -> env | 49 val patBinds : env -> Mono.pat -> env |
50 val patBindsN : Mono.pat -> int | |
50 | 51 |
51 end | 52 end |