Assertion list
priority queue (subgroup of queue ) → CapableOf
Results from Ascent++: 2
priority queue → CapableOf → rely on natural ordering 0.29
priority queue → CapableOf → use linked list 0.25