Redundant-counter binomial-heap data structure tag.
Defined in: tag_and_trait.hpp
priority_queue_tag
public