Member predicate SuperInstance::subscriptUnknown
Holds if the result of subscripting this object are wholly or partly unknowable
predicate subscriptUnknown()
Holds if the result of subscripting this object are wholly or partly unknowable
predicate subscriptUnknown()