def partial

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha/packed.bend:26

import Base

26def partial(+w: U32, delta: Nat) -> U32:
27  match delta:
28    case 0n: 2147483648
29    case 1n: U32.or(U32.and(w,4278190080),8388608)
30    case 2n: U32.or(U32.and(w,4294901760),32768)
31    case 3n: U32.or(U32.and(w,4294967040),128)
32    case _: w