package miou

  1. Overview
  2. Docs

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