Module PBT.MakeIsZeroSource

Parameters

module G : sig ... end

Signature

Sourceval with_zero_value : unit -> unit
Sourceval with_one_value : unit -> unit
Sourceval with_random_value : unit -> unit
Sourceval get_tests : unit -> string * unit Alcotest.test_case list

Returns the tests to be used with Alcotest