PBT.MakeIsZero
module G : sig ... end
val with_zero_value : unit -> unit
val with_one_value : unit -> unit
val with_random_value : unit -> unit
val get_tests : unit -> string * unit Alcotest.test_case list
Returns the tests to be used with Alcotest