src/HOL/SPARK/Examples/RIPEMD-160/wordops.adb
author wenzelm
Wed, 04 Oct 2017 12:00:53 +0200
changeset 66787 64b47495676d
parent 41561 d1318f3c86ba
permissions -rw-r--r--
obsolete;

package body Wordops is

   function Rotate(I : Rotate_Amount; W : Word) return Word
   is
   begin
      return Interfaces.Rotate_Left (W, I);
   end Rotate;

end Wordops;