Make.5-G2
include Simple_elliptic_curve_intf with type base := Fq_twist.t
type t
module Affine : sig ... end
val to_affine_exn : t -> Affine.t
val to_affine : t -> Affine.t option
module Coefficients : sig ... end