def pad_choose

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

import Base

34def pad_choose(c: Cmp, w: U32, delta: Nat) -> U32:
35  match c:
36    case GT{}: 0
37    case EQ{}: 2147483648
38    case LT{}: partial(w,delta)