package dmap

You can search for identifiers within the package.

in-package search v0.2.0

A library that implements dependent (heterogeneous) maps

Install

Dune Dependency

gitlab.inria.fr Readme Changelog Edit opam file Versions (4)

Authors

B

Benoît Montagu <benoit.montagu@inria.fr>

Maintainers

B

Benoît Montagu <benoit.montagu@inria.fr>

Sources

dmap-0.3.tar.gz

md5=4d44cddcc83ee62c976dee6863fa60ab

sha512=4f47d94277b16ac32c1a22de5a1bd87bfa1000ae495bfb65b3c7bdccd560697e37577dbbd846295dca8c02af797969605c0545a821c56ce3ee881d4a8769b6ce

doc/index.html

dmap

API

Library dmap

Dmap Dependent (or heterogeneous) association tables over ordered types.

On This Page

API
1. Library dmap