~/jendhub

def W4.shr.wide

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

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

306def W4.shr.wide(wide: Bool, +n: U32, w: W4) -> W4 & Bool:
307  match wide:
308    case True{}:
309      (W4{0, 0, 0, 0}, W4.nz(w))
310    case False{}:
311      W4.shr.limbs(U32.to_nat((n >> 5n : U32)), (n .&. 31 : U32), w)

Uses (10)

Used by (1)