module Quickcheck: Quickcheck
Quickcheck
include Quickcheck
module Configure: functor (Config : Quickcheck_intf.Quickcheck_config) -> Quickcheck_intf.Quickcheck
functor (
Config
:
Quickcheck_intf.Quickcheck_config
) ->
Quickcheck_intf.Quickcheck