X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e1b99e23f8d30efc7842ee006e0ff3ef0347b7df..417edb970ec87cd1e45ea2923fdee4c6cb5d57f4:/src/describe.sig?ds=sidebyside

diff --git a/src/describe.sig b/src/describe.sig
index 43be39a..8333c26 100644
--- a/src/describe.sig
+++ b/src/describe.sig
@@ -20,7 +20,12 @@
 
 signature DESCRIBE = sig
 
+    exception UnequalDomains
+
     val describe_unification_error : Ast.typ -> Ast.unification_error -> unit
 
     val describe_type_error : Ast.position -> Ast.type_error -> unit
+
+    val ununify : Ast.typ -> Ast.typ
+
 end