def is_inf
import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as Pointimport Base
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as F
133def is_inf(p: Point) -> Bool:
134 match p:
135 case Point{x, y, z}: F.is_zero(z)