Fq_poly_comm.G_affine
type t = Pasta_bindings.Fp.t Kimchi_types.or_infinity
val zero : unit -> t
val create : Pasta_bindings.Fp.t -> Pasta_bindings.Fp.t -> t