def select_tail
import bend-collections@1.0.0.0/spec/crypto/keccak/main.bend as BendCollectionsimport Base
16def select_tail(c: Cmp, w: U32, n: Nat) -> U32:
17 match c:
18 case GT{}: 0
19 case EQ{}: 1
20 case LT{}: low_tail(w,n)
import bend-collections@1.0.0.0/spec/crypto/keccak/main.bend as BendCollectionsimport Base
16def select_tail(c: Cmp, w: U32, n: Nat) -> U32:
17 match c:
18 case GT{}: 0
19 case EQ{}: 1
20 case LT{}: low_tail(w,n)