From c9e156fdc3449d1cbc9dac4176cc460f6462ef18 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Wed, 12 Nov 2025 20:34:24 +1300
Subject: Prelude now derives its own World so dot notation works for those
 subprograms

---
 src/kompsos-pretty_print.ads | 24 +++++++++++++++++++++---
 1 file changed, 21 insertions(+), 3 deletions(-)

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

diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads
index 3ef7ac7..1359d1f 100644
--- a/src/kompsos-pretty_print.ads
+++ b/src/kompsos-pretty_print.ads
@@ -14,17 +14,35 @@ package Kompsos.Pretty_Print is
 
 
     function Image
-           (Item : in Variable)
+           (Item : in Term)
         return String;
 
 
     function Image
-           (Item : in Term)
+           (Item : in Mu_World'Class)
+        return String;
+
+
+private
+
+
+    function Image
+           (Item : in Integer)
+        return String;
+
+
+    function Image
+           (Item : in ID_Number)
+        return String;
+
+
+    function Image
+           (Item : in Variable)
         return String;
 
 
     function Image
-           (Item : in World)
+           (Item : in State)
         return String;
 
 
-- 
cgit