Fp_poly_comm.G_affine
type t = Pasta_bindings.Fq.t Kimchi_types.or_infinity
val zero : unit -> t
val create : Pasta_bindings.Fq.t -> Pasta_bindings.Fq.t -> t