~/jendhub

def W4.shr.limbs

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

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

293def W4.shr.limbs(k: Nat, bits: U32, w: W4) -> W4 & Bool:
294  match k:
295    case 0n:
296      W4.shr.bits(bits, w, False{})
297    case 1n:
298      W4.shr.pair(bits, W4.drop1(w))
299    case 2n:
300      W4.shr.pair(bits, W4.drop2(w))
301    case 3n:
302      W4.shr.pair(bits, W4.drop3(w))
303    case 4n+p:
304      (W4{0, 0, 0, 0}, W4.nz(w))

Uses (12)

Used by (1)