From a8ae5c1814db75525bf0ab199b0e5bd08c2c558a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 2 Aug 2012 18:12:37 -0400
Subject: New NameJs phase, still needing some debugging

---
 src/mono_util.sig | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/mono_util.sig')

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,
-- 
cgit v1.2.3