Non-recursive, non-numeric portions of prelude

1 files changed, 14 insertions, 0 deletions

diff --git a/src/kompsos.adb b/src/kompsos.adb
index a621b7f..7cfd581 100644
--- a/src/kompsos.adb
+++ b/src/kompsos.adb
@@ -156,6 +156,20 @@ package body Kompsos is
 
 
     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
     begin