Mercurial > urweb

diff src/mono_util.sig @ 919:cc956020801b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'more' demos working after optimizer fix
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Sep 2009 19:42:12 -0400
parents 1901db85acb4
children 7bb8c560f23d
line wrap: on
line diff
--- a/src/mono_util.sig	Tue Sep 08 11:02:53 2009 -0400
+++ b/src/mono_util.sig	Tue Sep 08 19:42:12 2009 -0400
@@ -72,6 +72,10 @@
     val exists : {typ : Mono.typ' -> bool,
                   exp : Mono.exp' -> bool} -> Mono.exp -> bool
 
+    val existsB : {typ : Mono.typ' -> bool,
+                   exp : 'context * Mono.exp' -> bool,
+                   bind : 'context * binder -> 'context} -> 'context -> Mono.exp -> bool
+
     val foldB : {typ : Mono.typ' * 'state -> 'state,
                  exp : 'context * Mono.exp' * 'state -> 'state,
                  bind : 'context * binder -> 'context}