Function div_pow2
pub extern fn div_pow2<#uint N>(x: int<N>, pow: int<N>) -> int<N>Expand
Divides x by 2 to the power of pow, rounding towards positive infinity.
Examples
assert div_pow2(2i8, 2i8) == 1i8;
assert div_pow2(3i8, 2i8) == 2i8;
assert div_pow2(-3i8, 2i8) == -1i8;
assert div_pow2(-3i8, 2i8) == -3i8 / 2i8;