#include <tag_and_trait.hpp>
Redundant-counter binomial-heap.
Definition at line 180 of file tag_and_trait.hpp.