1 files changed, 15 insertions, 0 deletions
diff --git a/src/kompsos-math.ads b/src/kompsos-math.ads
index a223fcb..093acbf 100644
--- a/src/kompsos-math.ads
+++ b/src/kompsos-math.ads
@@ -287,6 +287,21 @@ package Kompsos.Math is
     with Pre => Inputs'Length = 3;
 
 
+    --  repeated-mul  --
+    --  Inputs = Base_Term & Exponent_Term & Product_Term
+    function Repeated_Multiply
+           (This   : in Goal;
+            Inputs : in Term_Array)
+        return Goal
+    with Pre => Inputs'Length = 3;
+
+    --  Inputs = Base_Term & Exponent_Term & Product_Term
+    procedure Repeated_Multiply
+           (This   : in out Goal;
+            Inputs : in     Term_Array)
+    with Pre => Inputs'Length = 3;
+
+
 private