(36 . 23)(36 . 27)
2202 Amount : Natural)
2203 return Word;
2204 pragma Import(Intrinsic, Shift_Left);
2205 pragma Inline_Always(Shift_Left);
2206
2207 function Shift_Right
2208 (Value : Word;
2209 Amount : Natural)
2210 return Word;
2211 pragma Import(Intrinsic, Shift_Right);
2212 pragma Inline_Always(Shift_Right);
2213
2214 function Rotate_Left
2215 (Value : Word;
2216 Amount : Natural)
2217 return Word;
2218 pragma Import(Intrinsic, Rotate_Left);
2219 pragma Inline_Always(Rotate_Left);
2220
2221 function Rotate_Right
2222 (Value : Word;
2223 Amount : Natural)
2224 return Word;
2225 pragma Import(Intrinsic, Rotate_Right);
2226 pragma Inline_Always(Rotate_Right);
2227
2228 end W_Shifts;