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

md5=6f7d79cf1436728f9b35509aa7471119

sha512=caf7ddae383e9bab710ae1d588a5334c9c8f7eacbad8ea22bcb57b2d09cd061822400abcb93a4597752a201ea78d3e083d7768581bee9338c2e916f260d99105

doc/index.html

dmap

API

Library dmap

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

On This Page

API
1. Library dmap