let
bits_rshift i =
F
.e_app2 (
if
(
Ctypes
.signed i)
then
"int_rshs"
else
"int_rshu"
)