dmap

A library that implements dependent (heterogeneous) maps
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.

Install
Published
19 Apr 2022
Authors
Maintainers
Sources
dmap-0.4.tar.gz
md5=da60fe8b3bffa3c3512fcc5ec3a9b20c sha512=ffa35862f7fe726513fc8e0a935495e134a13e422a964abdead7e719ad80b1bf1d7d1f9e292cdbfa53361fdbb2448c81f849a8f7fd29fb880e578b9620140fe5
Dependencies
odoc with-doc
ocaml >= "4.08"
dune >= "2.9"
Reverse Dependencies