Snarkette.Elliptic_curve
val (=) : [> `Don't_use_polymorphic_compare ]
module Make (N : sig ... end) (Fq : sig ... end) (Coefficients : sig ... end) : sig ... end