Functor Reins.Quickcheck.Check

module Check: functor (Conf : Config) -> functor (L : Law) -> sig .. end

Parameters:

`Conf`	:	`Config`
`L`	:	`Law`

val desc : string

A copy of the test description supplied by the Law module

val test : Random.State.t -> unit

The function which executes the series random tests on law L