equal_range2 LowerBoundShift
equal_range2 StrictLowerBoundShift
insertion_sort CountSectionUnion
insertion_sort EqualRangesPreservesCount
insertion_sort EqualRangesPreservesSorted
insertion_sort RotatePreservesStrictLowerBound
is_sorted WeaklySortedImpliesSorted
partial_sort CountSectionBounds
partial_sort CountSectionUnion
partial_sort EqualRangesPreservesCount
partial_sort HasValueImpliesPositiveCount
partial_sort HeapMaximum
partial_sort PartialReorderPreservesLowerBounds
partial_sort PositiveCountImpliesHasValue
partial_sort ReorderImpliesMatch
partial_sort ReorderPreservesLowerBound
partial_sort ReorderPreservesUpperBound
partial_sort SwappedInsideMultisetUnchanged
partial_sort SwappedInsidePreservesMultisetUnchanged
pop_heap HeapMaximum
pop_heap pop_heap_post_reorder
push_heap CountSectionUnion
random_shuffle CountSectionUnion
random_shuffle random_shuffle_assert_reorder_2
remove_copy2 CountSectionBounds
remove_copy2 CountSectionMonotonic
remove_copy2 CountSectionUnion
remove CountSectionBounds
remove CountSectionUnion
remove CountShift
remove HasValueImpliesPositiveCount
remove PositiveCountImpliesHasValue
remove UnchangedShift
selection_sort CountSectionUnion
selection_sort LowerBoundShift
selection_sort StrictLowerBoundShift
selection_sort StrictUpperBoundShift
sort_heap CountSectionUnion
