include Unsigned.Infix with type t := t
x 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.