~/jendhub

def W4.shr.bits.z

bend-kit-f64@0.1.0.0 · f64.bend:279

import bend-kit-f64@0.1.0.0/f64.bend as F64
import Base

279def W4.shr.bits.z(z: Bool, +k: U32, w: W4, lost: Bool) -> W4 & Bool:
280  match z:
281    case True{}:
282      (w, lost)
283    case False{}:
284      W4.shr.bits.go(U32.to_nat(k), U32.to_nat((32 - k : U32)), w, lost)

Uses (8)

Used by (1)