package vocal

  1. Overview
  2. Docs
module Arrays : sig ... end
module HashTable : sig ... end
module Lists : sig ... end

Stack-safe and fast implementation of List.map

module PairingHeap : sig ... end
module PriorityQueueVector : sig ... end

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 UnionFind : sig ... end
module Vector : sig ... end

Vectors (aka resizable arrays, growing arrays, dynamic arrays, etc.)

module ZipperList : sig ... end

Zippers for lists