Matches a single element that conforms to a predicate.
class predicate pattern[readonly equality comparable element type]
extends one pattern[element type]
predicate pattern(function[boolean, element type] the predicate)
this • the predicate = the predicate