module Test:
Parameters: |
|
val int_middle_bits : int
module JC:Quickcheck.Configure
(
sig
include Quickcheckinclude S
val default_trial_count :int
val default_trial_count_for_test_no_duplicates :[> `Scale_of_default_trial_count of float ]
end
)
module G: JC.Generator
module O: JC.Observer