
package Lp with
   SPARK_Mode
is

   type U64 is mod 2 ** 64;

   function Power (I : Natural) return Natural;
   function Power1 (I : Natural) return Natural;
   function Power2 (I : Natural) return Natural;
end Lp;
