Up – snarkette » Snarkette » Mnt4_80 » G2 » Coefficients

Module `G2.Coefficients`

val a : Fq2.t

val b : Fq2.t