From 39a112952e328ce52e5f7b08bf18bbadd3fca03f Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Wed, 19 Nov 2025 16:51:08 +1300
Subject: Reification, including Term flattening and Treeification

---
 test/membero.adb | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'test/membero.adb')

diff --git a/test/membero.adb b/test/membero.adb
index 89e7f2e..827e6ab 100644
--- a/test/membero.adb
+++ b/test/membero.adb
@@ -44,8 +44,16 @@ begin
 
     Verse.Member (Verse.Fresh ("result") & Test_Item);
 
+    TIO.Put_Line ("Raw results:");
     TIO.Put_Line (Printer.Image (Verse));
 
+    TIO.New_Line;
+
+    TIO.Put_Line ("Reified results:");
+    for Subst of Verse.Take_All loop
+        TIO.Put_Line (Printer.Image (Resolve_First (Subst, "result")));
+    end loop;
+
 end Membero;
 
 
-- 
cgit