def shr_lt

bend-collections-laws-math@1.0.0.0 · src/math/w64.bend:249

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

249def shr_lt(+a: W.U64, +k: Nat) -> W.U64:
250  match k:
251    case 0n:
252      a
253    case 1n+ +j:
254      W.U64{U32.add(U32.shrn(lo(a), 1n+j), U32.mul(hi(a), pow2(Nat.sub(32n, 1n+j)))), U32.shrn(hi(a), 1n+j)}