Up – snarkette » Snarkette » Mnt4_80 » G1 » Params

Module `G1.Params`

val a : Fq.t

val b : Fq.t