Mercurial > urweb

comparison src/core_env.sig @ 1080:a4979e31e4bf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Another try at reasonable Especialize, this time with a custom traversal
author Adam Chlipala <adamc@hcoop.net>
date Sun, 20 Dec 2009 15:17:43 -0500
parents 4a125bbc602d
children
comparison
equal deleted inserted replaced
1079:d069b193ed6b 1080:a4979e31e4bf
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 68
69 val patBindsN : Core.pat -> int 69 val patBindsN : Core.pat -> int
70 val patBindsL : Core.pat -> (string * Core.con) list
70 71
71 end 72 end