Ff_pbt.MakeIsZero
module FiniteField : Ff_sig.BASE
val with_zero_value : unit -> unit
val with_random_value : unit -> unit
val get_tests : unit -> string * unit Alcotest.test_case list