Mercurial > urweb
comparison src/core_env.sig @ 642:4a125bbc602d
Conversion of functions to CPS, to facilitate ServerCall
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 08 Mar 2009 20:34:21 -0400 |
parents | 230654093b51 |
children | a4979e31e4bf |
comparison
equal
deleted
inserted
replaced
641:b98f547a6a45 | 642:4a125bbc602d |
---|---|
63 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env | 63 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env |
64 val lookupENamed : env -> int -> string * Core.con * Core.exp option * string | 64 val lookupENamed : env -> int -> string * Core.con * Core.exp option * string |
65 | 65 |
66 val declBinds : env -> Core.decl -> env | 66 val declBinds : env -> Core.decl -> env |
67 val patBinds : env -> Core.pat -> env | 67 val patBinds : env -> Core.pat -> env |
68 | |
69 val patBindsN : Core.pat -> int | |
68 | 70 |
69 end | 71 end |