Opam Package ptmap.2.0.5

Package info

opam-nameptmap
opam-version2.0.5
synopsisMaps of integers implemented as Patricia trees
description An implementation inspired by Okasaki & Gill's paper 'Fast Mergeable Integer Maps'
authors
  • Jean-Christophe Filliâtre
homepagehttps://github.com/backtracking/ptmap
licenseLGPL-2.1
changes-fileCHANGES.md
readme-fileREADME.md
deps (4)
revdeps (2)
metas (1)
libraries (1)

Package modules

Package sources

ptmap

Package files

lib/ptmap/ptmap.mli
lib/ptmap/ptmap.ml
lib/ptmap/ptmap.cmxs
lib/ptmap/ptmap.cmxa
lib/ptmap/ptmap.cmx
lib/ptmap/ptmap.cmti
lib/ptmap/ptmap.cmt
lib/ptmap/ptmap.cmi
lib/ptmap/ptmap.cma
lib/ptmap/ptmap.a
lib/ptmap/opam
lib/ptmap/dune-package
lib/ptmap/META
lib/ptmap
doc/ptmap/README.md
doc/ptmap/LICENSE
doc/ptmap/CHANGES.md
doc/ptmap