def u64_overflowing_shl

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

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W

378def u64_overflowing_shl(+a: W.U64, +s: U32) -> Over<W.U64>:
379  OV{u64_wrapping_shl(a, s), Bool.not(U32.is_lt(s, 64))}