Member predicate ArrayCreation :: isImplicitlySized
Holds if the created array is implicitly sized by the initializer.
predicate
isImplicitlySized
(
)