Up
–
snarkette
»
Snarkette
»
Elliptic_curve_intf
»
S
» Coefficients
Module
S.Coefficients
val
a :
field
val
b :
field