def W4.shr.bits.go
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
274def W4.shr.bits.go(+k: Nat, j: Nat, w: W4, lost: Bool) -> W4 & Bool:
275 match w:
276 case W4{+a, +b, +c, +d}:
277 W4.shr.bits.out(k, j, a, b, c, d, lost, (d .&. ((1 << k) - 1 : U32) : U32))