Pairing.Simple_elliptic_curve_intf
type base
type t
module Affine : sig ... end
val to_affine_exn : t -> Affine.t
val to_affine : t -> Affine.t option