package dmap
A library that implements dependent (heterogeneous) maps
Install
Dune Dependency
Authors
Maintainers
Sources
dmap-0.2.tar.gz
md5=6f7d79cf1436728f9b35509aa7471119
sha512=caf7ddae383e9bab710ae1d588a5334c9c8f7eacbad8ea22bcb57b2d09cd061822400abcb93a4597752a201ea78d3e083d7768581bee9338c2e916f260d99105
Description
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.
Published: 21 Feb 2022
README
Dmap
Dmap is 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 OCaml standard library.
On This Page