Rechercher une page de manuel
Map.3o
Langue: en
Version: 275828 (debian - 07/07/09)
Section: 3 (Bibliothèques de fonctions)
Sommaire
NAME
Map - Association tables over ordered types.Module
Module MapDocumentation
Module Map
: sig end
Association tables over ordered types.
This module implements applicative association tables, also known as finite maps or dictionaries, given a total ordering function over the keys. All operations over maps are purely applicative (no side-effects). The implementation uses balanced binary trees, and therefore searching and insertion take time logarithmic in the size of the map.
module type OrderedType = sig end
Input signature of the functor Map.Make .
module type S = sig end
Output signature of the functor Map.Make .
module Make : functor (Ord : OrderedType) -> sig end
Functor building an implementation of the map structure given a totally ordered type.
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre