From af9ee420c398bac0eff6d9dfb1919851261b8318 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Tue, 11 Nov 2025 06:55:37 +1300
Subject: Non-recursive, non-numeric portions of prelude

---
 src/kompsos.ads | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/kompsos.ads')

diff --git a/src/kompsos.ads b/src/kompsos.ads
index bca09b8..a2e210e 100644
--- a/src/kompsos.ads
+++ b/src/kompsos.ads
@@ -47,6 +47,10 @@ package Kompsos is
            (Item : in Variable)
         return Term;
 
+    function T
+           (Item1, Item2 : in Term)
+        return Term;
+
     function T
            (Items : in Term_Array)
         return Term;
-- 
cgit