package dmap

  1. Overview
  2. No Docs
A library that implements dependent (heterogeneous) maps

Install

gitlab.inria.fr Edit opam file

Authors

  1. B
    Benoît Montagu <benoit.montagu@inria.fr>

Maintainers

  1. B
    Benoît Montagu <benoit.montagu@inria.fr>

Sources

dmap-0.5.tar.gz
md5=fe62cbaa5916073a175b6f3b32dc8b68
sha512=9bbb186dc6d94e3f7ba5f64e74cb66cd13d5a5ff10b1924367a6629b49c9943a1f65ff65d5fe49a8fcfd69f15ddf4a4c93e0bf654cef781296576deace554d9b

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: 16 May 2022

Dependencies (2)

  1. ocaml >= "4.12"
  2. dune >= "2.9"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None