Member predicate ArrayFunction :: hasArrayWithVariableSize
Holds if parameter bufParam should always point to a buffer with the
number of elements indicated by countParam.
predicate
hasArrayWithVariableSize
(
int
bufParam
,
int
countParam
)