src/HOL/SPARK/Examples/RIPEMD-160/wordops.adb

back to more basic defaults, independently on the accidental L&F: e.g. relevant for editor_style=false, and session_graph.pdf;

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;