Module Pallas.Coefficients

val a : Fp.t
val b : Fp.t