Ocaml Discrete Interval Encoding Trees Please read the API documentation. This is based on the Functional Pearls: Diets for Fat Sets by Martin Erwig.