Point.equal: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/ed25519/point.bend as Point
Lines 175-179 of bend-collections@1.0.0.0/src/crypto/ed25519/point.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/point.bend&start_line=175&end_line=179

import Base
import bend-collections@1.0.0.0/src/crypto/curve25519/field.bend as F

# the same point: X1 Z2 == X2 Z1 and Y1 Z2 == Y2 Z1
def equal(p: Pt, q: Pt) -> Bool:
  match p q:
    case Pt{+x1, +y1, +z1, t1} Pt{+x2, +y2, +z2, t2}:
      Bool.and(F.eq(F.mul(x1, z2), F.mul(x2, z1)), F.eq(F.mul(y1, z2), F.mul(y2, z1)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/curve25519/field.bend&name=eq
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/curve25519/field.bend&name=mul
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/point.bend&name=Pt