bend-collections@1.0.0.0 · spec/crypto/secp256k1/curve.bend:95
import bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curve
import Base 95def b3() -> Nat: 96 21n