def pad_choose

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

import bend-collections@1.0.0.0/src/crypto/sha/packed/packed.bend as Packed

import Base

17def pad_choose(c: Cmp, w: U32, delta: Nat) -> U32:
18  match c:
19    case GT{}: 0
20    case EQ{}: 2147483648
21    case LT{}: partial(w,delta)

Uses (4)

Used by (2)