def u32_overflowing_shl

bend-collections-laws-math@1.0.0.0 · src/math/fixed.bend:154

import Base

154def u32_overflowing_shl(+a: U32, +s: U32) -> Over<U32>:
155  OV{u32_wrapping_shl(a, s), Bool.not(U32.is_lt(s, 32))}