this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

[new release] patricia-tree (0.11.0)

CHANGES:

- Add some `reflexive_equal` and `reflexive_compare` functions
- Add `min_binding_inter` for maps, `min_elt_inter` for sets and their max counterparts
- Add `difference` and `symmetric_difference` function to maps (and add `difference` to `WithForeign`)
- Add `diff` functions to sets
- Internal refactor.

+46
+46
packages/patricia-tree/patricia-tree.0.11.0/opam
··· 1 + opam-version: "2.0" 2 + synopsis: 3 + "Patricia Tree data structure in OCaml for maps and sets. Supports generic key-value pairs" 4 + maintainer: ["Dorian Lesbre <dorian.lesbre@cea.fr>"] 5 + authors: [ 6 + "Matthieu Lemerre <matthieu.lemerre@cea.fr>" 7 + "Dorian Lesbre <dorian.lesbre@cea.fr>" 8 + ] 9 + license: "LGPL-2.1-only" 10 + homepage: "https://codex.top/api/patricia-tree/" 11 + doc: "https://codex.top/api/patricia-tree/" 12 + bug-reports: 13 + "https://github.com/codex-semantics-library/patricia-tree/issues" 14 + depends: [ 15 + "ocaml" {>= "4.14"} 16 + "dune" {>= "3.0"} 17 + "qcheck-core" {>= "0.21.2" & with-test} 18 + "ppx_inline_test" {>= "v0.16.0" & with-test} 19 + "mdx" {>= "2.4.1" & with-test} 20 + "odoc" {>= "2.4.0" & with-doc} 21 + "sherlodoc" {with-doc} 22 + ] 23 + build: [ 24 + ["dune" "subst"] {dev} 25 + [ 26 + "dune" 27 + "build" 28 + "-p" 29 + name 30 + "-j" 31 + jobs 32 + "@install" 33 + "@runtest" {with-test} 34 + "@doc" {with-doc} 35 + ] 36 + ] 37 + dev-repo: "git+https://github.com/codex-semantics-library/patricia-tree.git" 38 + url { 39 + src: 40 + "https://github.com/codex-semantics-library/patricia-tree/releases/download/v0.11.0/patricia-tree-0.11.0.tbz" 41 + checksum: [ 42 + "sha256=18fcde5d35d65c9bb2f9ec4ff732ecdd8969ba6fc2cf51d29ecb3be66e2fe664" 43 + "sha512=da038d5096deb4bf3c02efd694e962ecf9b2571d140fa1fef17cce474f628ec070b93a44fd742748b9d3ba0e51041f864623d83e9cb0c72214abb0fb4a043625" 44 + ] 45 + } 46 + x-commit-hash: "8c964963985ae2cf5292146102316520f31e8fda"