def aff_x
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
174def aff_x(a: SAffine) -> Nat:
175 match a:
176 case SAffine{x, y}: x
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
174def aff_x(a: SAffine) -> Nat:
175 match a:
176 case SAffine{x, y}: x