Up – snarkette » Snarkette » Elliptic_curve_intf » S » Coefficients

Module `S.Coefficients`

val a : field

val b : field