def W4.shr.pair
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
289def W4.shr.pair(bits: U32, r: W4 & Bool) -> W4 & Bool:
290 (w, lost) = r
291 W4.shr.bits(bits, w, lost)
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
289def W4.shr.pair(bits: U32, r: W4 & Bool) -> W4 & Bool:
290 (w, lost) = r
291 W4.shr.bits(bits, w, lost)