Module Test.Config
module Seed : sig ... endtype t={seed : Seed.t;seedis used to initialize the pseudo-random state before running tests of a property.test_count : Base.int;test_countdetermines how many random values to test a property with.shrink_count : Base.int;shrink_countdetermines the maximum number of attempts to find a smaller version of a value that fails a test.sizes : Base.int Base.Sequence.t;sizesdetermines the progression of value sizes to generate while testing. Testing fails ifsizesis not of length at leasttest_count.}