Miou_pqueue
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.
This is a contribution by Aymeric Walch.
module Make (X : sig ... end) : sig ... end