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-prelude.ads | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

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

diff --git a/src/kompsos-prelude.ads b/src/kompsos-prelude.ads
index 237edbf..2ad2309 100644
--- a/src/kompsos-prelude.ads
+++ b/src/kompsos-prelude.ads
@@ -10,6 +10,13 @@ generic
 package Kompsos.Prelude is
 
 
+    type World is new Mu_World with private;
+
+    Empty_World : constant World;
+
+
+
+
     --  caro  --
 
     function Head
@@ -138,6 +145,14 @@ package Kompsos.Prelude is
     --  Skipped due to Recurse doing the same thing
 
 
+private
+
+
+    type World is new Mu_World with null record;
+
+    Empty_World : constant World := (Empty_Mu_World with null record);
+
+
 end Kompsos.Prelude;
 
 
-- 
cgit