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

md5=fe62cbaa5916073a175b6f3b32dc8b68

sha512=9bbb186dc6d94e3f7ba5f64e74cb66cd13d5a5ff10b1924367a6629b49c9943a1f65ff65d5fe49a8fcfd69f15ddf4a4c93e0bf654cef781296576deace554d9b

doc/index.html

dmap

API

Library dmap

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

On This Page

API
1. Library dmap