Up – snarkette » Snarkette » Elliptic_curve » Make » 3-Coefficients

Parameter `Make.3-Coefficients`

val a : Fq.t

val b : Fq.t