Point.select: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend as Point
Lines 103-107 of bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend&start_line=103&end_line=107

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

# b ? p : q, coordinate-wise and branch-free, for b in {0, 1}
def select(+b: Nat, p: Point, q: Point) -> Point:
  match p q:
    case Point{x1, y1, z1} Point{x2, y2, z2}:
      Point{F.select(b, x1, x2), F.select(b, y1, y2), F.select(b, z1, z2)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/field.bend&name=select
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend&name=Point