From d39eadddc587b3a380239fe76e5ad426638a8384 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Wed, 19 Nov 2025 18:27:19 +1300
Subject: Added generic to make it easier to abbreviate Fresh

---
 src/kompsos.ads | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/kompsos.ads')

diff --git a/src/kompsos.ads b/src/kompsos.ads
index 3164996..0f2c0e6 100644
--- a/src/kompsos.ads
+++ b/src/kompsos.ads
@@ -152,6 +152,12 @@ package Kompsos is
         Fresh'Result'Length = Names'Length and
         (for all Item of Fresh'Result => Item.Kind = Var_Term);
 
+    generic
+        Verse : in out World;
+    function Make_Fresh
+        return Term
+    with Post => Make_Fresh'Result.Kind = Var_Term;
+
 
     --  Unification  --
 
-- 
cgit