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