diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-11 06:55:37 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-11 06:55:37 +1300 |
| commit | af9ee420c398bac0eff6d9dfb1919851261b8318 (patch) | |
| tree | d40284e00abf26a63f601f22cb9a996b6474b1f9 /src/kompsos.ads | |
| parent | 7719622ff4f72769f15a771dc5455dabeff295bc (diff) | |
Non-recursive, non-numeric portions of prelude
Diffstat (limited to 'src/kompsos.ads')
| -rw-r--r-- | src/kompsos.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/kompsos.ads b/src/kompsos.ads index bca09b8..a2e210e 100644 --- a/src/kompsos.ads +++ b/src/kompsos.ads @@ -48,6 +48,10 @@ package Kompsos is return Term; function T + (Item1, Item2 : in Term) + return Term; + + function T (Items : in Term_Array) return Term; |