def partial

bend-collections@1.0.0.0 · src/crypto/sha/packed/packed.bend:9

import Base

9def partial(+w: U32, delta: Nat) -> U32:
10  match delta:
11    case 0n: 2147483648
12    case 1n: U32.or(U32.and(w,4278190080),8388608)
13    case 2n: U32.or(U32.and(w,4294901760),32768)
14    case 3n: U32.or(U32.and(w,4294967040),128)
15    case _: w