Member predicate DataFlow::ContentSet::isElementOfTypeOrUnknown
Holds if this content set represents UnknownElementContent
unioned with
all KnownElementContent
s where the index is of type type
, as per
ConstantValue::getValueType/0
.
predicate isElementOfTypeOrUnknown(string type)