Up
–
snarkette
»
Snarkette
»
Elliptic_curve
»
Make
» 3-Coefficients
Parameter
Make.3-Coefficients
val
a :
Fq.t
val
b :
Fq.t