package vocal

  1. Overview
  2. Docs

This module implements a priority queue based on a minimal binary heap. The heap is modelized by a dynamic array, taken from the module Vector *

module Make (X : sig ... end) : sig ... end