module type Law =
A value of type Arg.t will be randomly generated and passed to
the law function below.
val desc :
Description of the test. This value is simply stored in the
result of the Check functor below for easy access by a test
val law :
Arg.t -> bool
The function that implements the law. The function should
when the law holds for the input and
the law does not hold. It may also raise the exception
if the law only trivially applies to the input, in
which case a new input will be attempted.