Up – kimchi_backend » Kimchi_pasta_basic » Vesta » Params

Module `Vesta.Params`

val a : Fq.t

val b : Fq.t