def drop_zero

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/argon2/memory.bend:65

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as SC

65def drop_zero(+ys: List<&2, U32>) -> {SC.drop(U32, ys, 0n) == ys : List<&2, U32>}:
66  match ys:
67    case Nil{}:
68      {==}
69    case Con{h, t}:
70      {==}