summaryrefslogtreecommitdiff
path: root/src/kompsos.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/kompsos.ads')
-rw-r--r--src/kompsos.ads4
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;