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.adb | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'src/kompsos.adb')

diff --git a/src/kompsos.adb b/src/kompsos.adb
index a621b7f..7cfd581 100644
--- a/src/kompsos.adb
+++ b/src/kompsos.adb
@@ -155,6 +155,20 @@ package body Kompsos is
     end T;
 
 
+    function T
+           (Item1, Item2 : in Term)
+        return Term is
+    begin
+        return My_Term : Term do
+            My_Term.Actual := new Term_Component'(
+                Kind  => Pair_Term,
+                Count => 1,
+                Left  => Item1,
+                Right => Item2);
+        end return;
+    end T;
+
+
     function T
            (Items : in Term_Array)
         return Term is
-- 
cgit