def aff_y
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
178def aff_y(a: SAffine) -> Nat:
179 match a:
180 case SAffine{x, y}: y
Uses (2)
Used by (0)
No other definition uses this definition.