package patricia-tree

  1. Overview
  2. No Docs
Patricia Tree data structure in OCaml for maps and sets. Supports generic key-value pairs

Install 

dune-project
 Dependency

codex.top Edit opam file Versions (5)

Authors

  1. M
    Matthieu Lemerre <matthieu.lemerre@cea.fr>
  2. D
    Dorian Lesbre <dorian.lesbre@cea.fr>

Maintainers

  1. D
    Dorian Lesbre <dorian.lesbre@cea.fr>

Sources

patricia-tree-0.13.0.tbz
sha256=9670bac52dcb93ea1bfc1afaf7846bc100bcdc63a7a468d5eb43f2b7660c2da9
sha512=aa182adb046c50f6e4742e59a18efdae2c3dd5d175a231bd8b84391351b0d4bda8dd9b1e3a4c8e71770dfc8fd1ab4f5f3cb32ab3062953f76faa435b441c3894

Description

Published: 09 Apr 2026

Dependencies (2)

  1. dune >= "3.0"
  2. ocaml >= "4.14"

Dev Dependencies (7)

  1. csv with-dev-setup
  2. bechamel with-dev-setup
  3. sherlodoc with-doc
  4. odoc >= "2.4.0" & with-doc
  5. mdx >= "2.4.1" & with-test
  6. ppx_inline_test >= "v0.16.0" & with-test
  7. qcheck >= "0.90" & with-test

Used by (3)

  1. codex
  2. frama_c_codex
  3. smtml >= "0.7.0" & < "0.17.0"

Conflicts

None