Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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