MakeJacobianWeierstrass.Params
val a : Fq.t
val b : Fq.t
val cofactor : Z.t
val bytes_generator : Stdlib.Bytes.t