1 files changed, 4 insertions, 0 deletions
diff --git a/src/kompsos.ads b/src/kompsos.ads
index 15f61bb..22e5a8b 100644
--- a/src/kompsos.ads
+++ b/src/kompsos.ads
@@ -42,6 +42,10 @@ package Kompsos is
 
     Empty_Term : constant Term;
 
+    function "="
+           (Left, Right : in Term)
+        return Boolean;
+
     function T
            (Item : in Element_Type)
         return Term;