shr256
Optimized right bit shift of b by a over u256.
Arguments
a- Number of shifts (must be <= 255).b- Value to be shifted.
Returns
u256- result of right shift
Fully qualified path: alexandria_math::opt_math::shr256
pub fn shr256(a: u8, b: u256) -> u256