aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/expl_util.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/expl_util.sig')
-rw-r--r--src/expl_util.sig2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/expl_util.sig b/src/expl_util.sig
index d15e7a76..2a6c7abe 100644
--- a/src/expl_util.sig
+++ b/src/expl_util.sig
@@ -27,8 +27,6 @@
signature EXPL_UTIL = sig
-val classifyDatatype : (string * int * Expl.con option) list -> Expl.datatype_kind
-
structure Kind : sig
val mapfold : (Expl.kind', 'state, 'abort) Search.mapfolder
-> (Expl.kind, 'state, 'abort) Search.mapfolder