Parameter E2.2-Params

val non_residue : F.Unchecked.t
val mul_by_non_residue : F.t -> F.t