has
Determines whatever the declaration has all constructors with the specified predicate.
Note that if the constructors contains no elements, the function returns true because there are no elements in it that do not match the predicate ("Vacuous truth").
Return
true if the declaration has all constructors with the specified predicate, false otherwise.
Parameters
predicate
The predicate function to determine if a constructor satisfies a condition.