diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-12-18 14:55:25 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-12-18 14:55:25 +1300 |
| commit | 25bcb022d4afde35ad59e1a91ccab335accf69fb (patch) | |
| tree | 3070aa66d6f5d2652c79f63d9bf2968e42ce3f74 /src/kompsos.ads | |
| parent | f6c26c09bad7ba5d39c8af25cc06ff07f836769c (diff) | |
Added missing equality function for Term
Diffstat (limited to 'src/kompsos.ads')
| -rw-r--r-- | src/kompsos.ads | 4 |
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; |