def pad_choose

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

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)