Initial commit

1 files changed, 33 insertions, 0 deletions

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;
+
+