dmapversion
A library that implements dependent (heterogeneous) maps
A library that implements dependent (heterogeneous) maps. The type of keys is indexed by the type of the associated values, so that the maps might contain data whose types may depend on the values of keys. It is adapted from the implementation code for maps that is used by the standard library.
| Author | Benoît Montagu <benoit.montagu@inria.fr> |
|---|---|
| License | LGPL-2.1 |
| Published | |
| Homepage | https://gitlab.inria.fr/bmontagu/dmap |
| Issue Tracker | https://gitlab.inria.fr/bmontagu/dmap/-/issues |
| Maintainer | Benoît Montagu <benoit.montagu@inria.fr> |
| Dependencies | |
| Source [http] | https://gitlab.inria.fr/bmontagu/dmap/-/archive/0.3/dmap-0.3.tar.gz md5=4d44cddcc83ee62c976dee6863fa60ab sha512=4f47d94277b16ac32c1a22de5a1bd87bfa1000ae495bfb65b3c7bdccd560697e37577dbbd846295dca8c02af797969605c0545a821c56ce3ee881d4a8769b6ce |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/dmap/dmap.0.3/opam |
No package is dependent
