X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9b7ee2b22abce813120a633f5a4f5523a630a2ea..8b4512f95f8b69dd6df9cf8784e72036038f5b5b:/src/describe.sig

diff --git a/src/describe.sig b/src/describe.sig
index 514c2a2..8333c26 100644
--- a/src/describe.sig
+++ b/src/describe.sig
@@ -26,4 +26,6 @@ signature DESCRIBE = sig
 
     val describe_type_error : Ast.position -> Ast.type_error -> unit
 
+    val ununify : Ast.typ -> Ast.typ
+
 end