MakeAllPrime.QuadraticResidueTests
val test_is_quadratic_residue : unit -> unit
val get_tests : unit -> string * unit Alcotest.test_case list