Up – kimchi_backend » Kimchi_pasta_basic » Pallas » Params

Module `Pallas.Params`

val a : Fp.t

val b : Fp.t