Reification, including Term flattening and Treeification

1 files changed, 7 insertions, 7 deletions

diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads
index 3d5963e..73e50db 100644
--- a/src/kompsos-pretty_print.ads
+++ b/src/kompsos-pretty_print.ads
@@ -14,12 +14,12 @@ package Kompsos.Pretty_Print is
 
 
     function Image
-           (Item : in Term)
+           (Item : in Integer)
         return String;
 
 
     function Image
-           (Item : in out World)
+           (Item : in Term)
         return String;
 
 
@@ -33,6 +33,11 @@ package Kompsos.Pretty_Print is
         return String;
 
 
+    function Image
+           (Item : in out World)
+        return String;
+
+
     function Image_Constant
            (Item : in World)
         return String;
@@ -42,11 +47,6 @@ private
 
 
     function Image
-           (Item : in Integer)
-        return String;
-
-
-    function Image
            (Item : in ID_Number)
         return String;