diff options
| -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 -- |