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.4.tar.gz

md5=da60fe8b3bffa3c3512fcc5ec3a9b20c

sha512=ffa35862f7fe726513fc8e0a935495e134a13e422a964abdead7e719ad80b1bf1d7d1f9e292cdbfa53361fdbb2448c81f849a8f7fd29fb880e578b9620140fe5

doc/index.html

dmap

API

Library dmap

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

On This Page

API
1. Library dmap