def after33

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/blist.bend:47

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as CV

47def after33(bs: List<&2, U32>) -> {CV.after(33n, bs) == CV.after(32n, CV.after(1n, bs)) : List<&2, U32>}:
48  match bs:
49    case Nil{}:
50      {==}
51    case b <> t:
52      {==}