PropCheck.conjunction

You're seeing just the function conjunction, go back to PropCheck module for more information.
Link to this function

conjunction(sub_properties)

View Source

Specs

conjunction([{atom(), test()}]) :: test()

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.