PropCheck.conjunction
You're seeing just the function
conjunction
, go back to PropCheck module for more information.
Specs
Returns a property that is true only if all of the sub-properties
sub_properties
are true.
Each sub-property should be tagged with a distinct atom. If this property fails, each failing sub-property will be reported and saved inside the counterexample along with its tag.