Module Miou_pqueueSource

This module implements a priority queue based on a minimal binary heap. The heap is implemented as a dynamic array, taken from the module vector.