an element in a minimizing priority queue More...
#include <minpq.h>
an element in a minimizing priority queue