1 files changed, 15 insertions, 0 deletions
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;