Curve.to_affine: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curve
Lines 169-172 of bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend&start_line=169&end_line=172

import Base
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as FS

# (X / Z, Y / Z), (0, 0) for the point at infinity
def to_affine(+p: Nat, a: SPoint) -> SAffine:
  match a:
    case SPoint{x, y, z}: aff_z(p, x, y, FS.minv(p, z))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend&name=SAffine
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend&name=SPoint
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend&name=aff_z
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend&name=minv