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 /src/kompsos.ads | |
| parent | 39a112952e328ce52e5f7b08bf18bbadd3fca03f (diff) | |
Added generic to make it easier to abbreviate Fresh
Diffstat (limited to 'src/kompsos.ads')
| -rw-r--r-- | src/kompsos.ads | 6 |
1 files changed, 6 insertions, 0 deletions
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 -- |