diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-19 18:27:19 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-19 18:27:19 +1300 |
| commit | d39eadddc587b3a380239fe76e5ad426638a8384 (patch) | |
| tree | 0acf360cb2b64b31fd4edb378c011e37f3af3622 | |
| parent | 39a112952e328ce52e5f7b08bf18bbadd3fca03f (diff) | |
Added generic to make it easier to abbreviate Fresh
| -rw-r--r-- | src/kompsos.adb | 7 | ||||
| -rw-r--r-- | src/kompsos.ads | 6 |
2 files changed, 13 insertions, 0 deletions
diff --git a/src/kompsos.adb b/src/kompsos.adb index d973452..0ac59ee 100644 --- a/src/kompsos.adb +++ b/src/kompsos.adb @@ -471,6 +471,13 @@ package body Kompsos is end Fresh; + function Make_Fresh + return Term is + begin + return Verse.Fresh; + end Make_Fresh; + + -- Unification -- 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 -- |