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