def pad_choose

bend-collections-laws-crypto@1.0.0.0 · src/crypto/keccak/keccak.bend:159

import Base

159def pad_choose(c: Cmp, w: U32, delta: Nat) -> U32:
160  match c:
161    case GT{}: 0
162    case EQ{}: 1
163    case LT{}: partial(w,delta)