Mercurial > urweb

diff src/core_util.sig @ 1185:338be96f8533

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Undo an Especialize change that turned out to be unecessary
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Mar 2010 10:09:01 -0400
parents 54ec237a3028
children
line wrap: on
line diff
--- a/src/core_util.sig	Tue Mar 09 18:43:29 2010 -0500
+++ b/src/core_util.sig	Tue Mar 16 10:09:01 2010 -0400
@@ -73,6 +73,11 @@
                                         
     val exists : {kind : Core.kind' -> bool,
                   con : Core.con' -> bool} -> Core.con -> bool
+
+    val existsB : {kind : 'context * Core.kind' -> bool,
+                   con : 'context * Core.con' -> bool,
+                   bind : 'context * binder -> 'context}
+                  -> 'context -> Core.con -> bool
                                                           
     val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
                    con : Core.con' * 'state -> Core.con' * 'state}