opam-version: "2.0"
maintainer: "dave@recoil.org"
authors: ["David Scott"]
license: "ISC"
homepage: "https://github.com/djs55/ocaml-diet"
dev-repo: "git+https://github.com/djs55/ocaml-diet.git"
bug-reports: "https://github.com/djs55/ocaml-diet/issues"
doc: "https://djs55.github.io/ocaml-diet"

build: [
  ["dune" "subst" ] {pinned}
  ["dune" "build" "-p" name "-j" jobs]
]
depends: [
  "ocaml" {>= "4.03.0"}
  "result"
  "sexplib" {< "v0.15"}
  "dune"
  "ppx_sexp_conv" {>= "v0.9.0" & < "v0.15"}
]
synopsis: "Discrete Interval Encoding Trees"
description: """
This is based on the
[Functional Pearls: Diets for Fat Sets](https://web.engr.oregonstate.edu/~erwig/papers/Diet_JFP98.pdf)
by Martin Erwig."""
url {
  src: "https://github.com/djs55/ocaml-diet/archive/v0.2.tar.gz"
  checksum: "md5=0dec8b13bbb1c0c3592178695dae024d"
}
