Mercurial > urweb

comparison src/cjr_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 717b6f8d8505
children a991431b77eb
comparison
equal deleted inserted replaced
108:f59553dc1b6a 109:813e5a52063d
45 val countERels : env -> int 45 val countERels : env -> int
46 46
47 val pushENamed : env -> string -> int -> Cjr.typ -> env 47 val pushENamed : env -> string -> int -> Cjr.typ -> env
48 val lookupENamed : env -> int -> string * Cjr.typ 48 val lookupENamed : env -> int -> string * Cjr.typ
49 49
50 val pushF : env -> int -> string -> Cjr.typ -> Cjr.typ -> env
51 val lookupF : env -> int -> string * Cjr.typ * Cjr.typ
52
53 val pushStruct : env -> int -> (string * Cjr.typ) list -> env 50 val pushStruct : env -> int -> (string * Cjr.typ) list -> env
54 val lookupStruct : env -> int -> (string * Cjr.typ) list 51 val lookupStruct : env -> int -> (string * Cjr.typ) list
55 52
56 val declBinds : env -> Cjr.decl -> env 53 val declBinds : env -> Cjr.decl -> env
57 54