From 53109d697cd8ff1aa7e4b8c41f3bd71dd2671fc0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 26 Jan 2008 16:44:39 -0500
Subject: Check for leftover kind unifs

---
 src/elab_util.sig | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'src/elab_util.sig')

diff --git a/src/elab_util.sig b/src/elab_util.sig
index da1a02f4..895f836c 100644
--- a/src/elab_util.sig
+++ b/src/elab_util.sig
@@ -28,11 +28,19 @@
 signature ELAB_UTIL = sig
 
 structure Kind : sig
-    val mapfold : (Elab.kind', 'state, 'abort) Search.mapfold_arg
+    val mapfold : (Elab.kind', 'state, 'abort) Search.mapfolder
                   -> (Elab.kind, 'state, 'abort) Search.mapfolder
     val exists : (Elab.kind' -> bool) -> Elab.kind -> bool
 end
 
+structure Con : sig
+    val mapfold : {kind : (Elab.kind', 'state, 'abort) Search.mapfolder,
+                      con : (Elab.con', 'state, 'abort) Search.mapfolder}
+                  -> (Elab.con, 'state, 'abort) Search.mapfolder
+    val exists : {kind : Elab.kind' -> bool,
+                  con : Elab.con' -> bool} -> Elab.con -> bool
+end
+
 val declBinds : ElabEnv.env -> Elab.decl -> ElabEnv.env
 
 end
-- 
cgit v1.2.3