functor
(
Config
:
Quickcheck_intf
.
Quickcheck_config
)
->
Quickcheck_intf
.
Quickcheck