Added missing equality function for Term

2 files changed, 28 insertions, 0 deletions

diff --git a/src/kompsos.adb b/src/kompsos.adb
index 1fedb86..476eb86 100644
--- a/src/kompsos.adb
+++ b/src/kompsos.adb
@@ -96,6 +96,30 @@ package body Kompsos is
 
     --  Terms  --
 
+    function "="
+           (Left, Right : in Term)
+        return Boolean is
+    begin
+        if Left.Actual = Right.Actual then
+            return True;
+        elsif Left.Kind = Right.Kind then
+            case Left.Kind is
+            when Atom_Term =>
+                return Left.Actual.Value = Right.Actual.Value;
+            when Var_Term =>
+                return Left.Actual.Refer = Right.Actual.Refer;
+            when Pair_Term =>
+                return Left.Actual.Left = Right.Actual.Left and
+                    Left.Actual.Right = Right.Actual.Right;
+            when Null_Term =>
+                return True;
+            end case;
+        else
+            return False;
+        end if;
+    end "=";
+
+
     function Kind
            (This : in Term)
         return Term_Kind is
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;