From 7bf4f9f063dcdc9fc50ad6ac6143b113535b68f0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 20 Dec 2015 13:41:35 -0500
Subject: Unnest properly in presence of kind polymorphism

---
 src/elab_util.sig | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/elab_util.sig')

diff --git a/src/elab_util.sig b/src/elab_util.sig
index 6c08442b..dc07f6f8 100644
--- a/src/elab_util.sig
+++ b/src/elab_util.sig
@@ -41,6 +41,9 @@ structure Kind : sig
     val mapB : {kind : 'context -> Elab.kind' -> Elab.kind',
                 bind : 'context * string -> 'context}
                -> 'context -> (Elab.kind -> Elab.kind)
+    val foldB : {kind : 'context * Elab.kind' * 'state -> 'state,
+                 bind : 'context * string -> 'context}
+                -> 'context -> 'state -> Elab.kind -> 'state
 end
 
 structure Con : sig
-- 
cgit v1.2.3