Up
–
snarkette
»
Snarkette
»
Fields
»
Make_fp2
» Info
Parameter
Make_fp2.Info
val
non_residue :
Fp.t