~/jendhub

def W4.shl.bits.z

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

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

336def W4.shl.bits.z(z: Bool, +k: U32, w: W4) -> W4:
337  match z:
338    case True{}:
339      w
340    case False{}:
341      W4.shl.bits.go(U32.to_nat(k), U32.to_nat((32 - k : U32)), w)

Uses (6)

Used by (1)