summaryrefslogtreecommitdiff
path: root/src/mono_util.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-08 19:42:12 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-08 19:42:12 -0400
commitea0ad8d321ff7dbd659a5b5bfab8e4b81e8b8d47 (patch)
tree300ddd5b559729aafff0412876a6d507fcfafc28 /src/mono_util.sig
parent5e954e635e58d3a7b34d6dc60d7c4aabd1c752f4 (diff)
'more' demos working after optimizer fix
Diffstat (limited to 'src/mono_util.sig')
-rw-r--r--src/mono_util.sig4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/mono_util.sig b/src/mono_util.sig
index 2a96211a..06290e7d 100644
--- a/src/mono_util.sig
+++ b/src/mono_util.sig
@@ -72,6 +72,10 @@ structure Exp : sig
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}