summaryrefslogtreecommitdiff
path: root/src/mono_util.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-08-02 18:12:37 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-08-02 18:12:37 -0400
commita8ae5c1814db75525bf0ab199b0e5bd08c2c558a (patch)
tree212d4eb5fff81460457ee63a17c13dc26b79091b /src/mono_util.sig
parentfdc6c1310be60fbeb597400618473861f78676de (diff)
New NameJs phase, still needing some debugging
Diffstat (limited to 'src/mono_util.sig')
-rw-r--r--src/mono_util.sig5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/mono_util.sig b/src/mono_util.sig
index 7ce545e1..a5118072 100644
--- a/src/mono_util.sig
+++ b/src/mono_util.sig
@@ -107,6 +107,11 @@ structure Decl : sig
decl : Mono.decl' -> Mono.decl'}
-> Mono.decl -> Mono.decl
+ val foldMap : {typ : Mono.typ' * 'state -> Mono.typ' * 'state,
+ exp : Mono.exp' * 'state -> Mono.exp' * 'state,
+ decl : Mono.decl' * 'state -> Mono.decl' * 'state}
+ -> 'state -> Mono.decl -> Mono.decl * 'state
+
val foldMapB : {typ : Mono.typ' * 'state -> Mono.typ' * 'state,
exp : 'context * Mono.exp' * 'state -> Mono.exp' * 'state,
decl : 'context * Mono.decl' * 'state -> Mono.decl' * 'state,