SInt.InfixSourceinclude Unsigned.Infix with type t := tx lsl y shifts x to the left by y bits. See shift_left.
x lsr y shifts x to the right by y bits. See shift_right.
x asr y shifts x to the right by y bits. See shift_right.