Module Vesta.Coefficients

val a : Fq.t
val b : Fq.t