Mdx - Githubissues

codex-semantics-library / patricia-tree

Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys

https://codex.top/api/patricia-tree/

GNU Lesser General Public License v2.1

13 stars 0 forks source link

Closed dlesbre closed 6 months ago

dlesbre commented 6 months ago

To merge after #1. Use mdx to check documentation code.

Uses mdx to run code in documentation code blocks (in index.mld and PatriciaTree.mli) and check output
Fix a bug where reflexive_subset_domain_forall2 could raise an assert false on Weak Maps.
Also run the CI on macos (it fails on windows though)
Some typos in documentation were fixed