Mercurial > urweb

diff src/core_util.sig @ 488:5521bb0b4014

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Get preliminary ThreadedBlog working
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 15:12:24 -0500
parents 685b41e85634
children 3162bbf8e30f
line wrap: on
line diff
--- a/src/core_util.sig	Tue Nov 11 11:49:51 2008 -0500
+++ b/src/core_util.sig	Tue Nov 11 15:12:24 2008 -0500
@@ -126,6 +126,11 @@
                    con : Core.con' * 'state -> Core.con' * 'state,
                    exp : Core.exp' * 'state -> Core.exp' * 'state}
                   -> 'state -> Core.exp -> Core.exp * 'state
+    val foldMapB : {kind : Core.kind' * 'state -> Core.kind' * 'state,
+                    con : 'context * Core.con' * 'state -> Core.con' * 'state,
+                    exp : 'context * Core.exp' * 'state -> Core.exp' * 'state,
+                    bind : 'context * binder -> 'context}
+                   -> 'context -> 'state -> Core.exp -> Core.exp * 'state
 end
 
 structure Decl : sig