From dbe103313c66e0a510ce689ba72b1d2d0857a457 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Sun, 9 Nov 2025 13:23:16 +1300
Subject: Initial commit

---
 src/kompsos-pretty_print.ads | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 src/kompsos-pretty_print.ads

(limited to 'src/kompsos-pretty_print.ads')

diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads
new file mode 100644
index 0000000..3ef7ac7
--- /dev/null
+++ b/src/kompsos-pretty_print.ads
@@ -0,0 +1,33 @@
+
+
+--  Programmed by Jedidiah Barber
+--  Licensed under the Sunset License v1.0
+
+--  See license.txt for further details
+
+
+generic
+    with function Element_Image
+           (Item : in Element_Type)
+        return String;
+package Kompsos.Pretty_Print is
+
+
+    function Image
+           (Item : in Variable)
+        return String;
+
+
+    function Image
+           (Item : in Term)
+        return String;
+
+
+    function Image
+           (Item : in World)
+        return String;
+
+
+end Kompsos.Pretty_Print;
+
+
-- 
cgit