def matt

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/psign.bend:43

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/ecdsa.bend as ES
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa.bend as E

43def matt(a: E.Attempt) -> ES.Attempt:
44  match a:
45    case E.ARetry{}: ES.Retry{}
46    case E.ADone{sig}: ES.Sig{sigb(sig)}