Member predicate ArrayPattern :: hasDefault
Holds if the ith element of this array pattern has a default expression.
predicate
hasDefault
(
int
i
)