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