def head_eq

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

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

15def head_eq(bs: List<&2, U32>) -> {B.head(bs) == CV.head(bs) : U32}:
16  match bs:
17    case Nil{}:
18      {==}
19    case b <> t:
20      {==}