From 39a112952e328ce52e5f7b08bf18bbadd3fca03f Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Wed, 19 Nov 2025 16:51:08 +1300 Subject: Reification, including Term flattening and Treeification --- src/kompsos-pretty_print.ads | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'src/kompsos-pretty_print.ads') 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; @@ -41,11 +46,6 @@ package Kompsos.Pretty_Print is private - function Image - (Item : in Integer) - return String; - - function Image (Item : in ID_Number) return String; -- cgit