Convert the law into a fast-check assertion.
fast-check
Tuple type of law predicate arguments.
The law to be converted.
Optional
fast-check runtime parameters.
A void function that will throw on predicate failure.
Convert the law into a
fast-checkassertion.