def cprog

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/point.bend:37

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/point.bend as P

37def cprog(ops: List<&2, P.Op>) -> List<&2, CV.SOp>:
38  match ops:
39    case Nil{}: Nil{}
40    case o <> t: cop(o) <> cprog(t)