@[extern  lean_uint8_shift_left]
Instances For
@[extern  lean_uint8_shift_right]
Instances For
@[extern  lean_uint16_shift_left]
Instances For
@[extern  lean_uint16_shift_right]
Instances For
@[extern  lean_uint32_of_nat]
Instances For
@[extern  lean_uint32_shift_left]
Instances For
@[extern  lean_uint32_shift_right]
Instances For
@[extern  lean_uint64_shift_left]
Instances For
@[extern  lean_uint64_shift_right]
Instances For
@[extern  lean_usize_shift_left]
Instances For
@[extern  lean_usize_shift_right]