Ff_pbt.MakeQuadraticResidue
module PrimeField : Ff_sig.PRIME
val test_is_quadratic_residue : unit -> unit
val get_tests : unit -> string * unit Alcotest.test_case list