Predicate Private::SummaryComponent::elementLowerBoundOrUnknown

Gets a summary component that represents an element in a collection at known integer index lower or above, or possibly at an unknown index.