mirage / ocaml-diet

A simple implementation of Discrete Interval Encoding Trees

Ocaml Discrete Interval Encoding Trees

Please read the API documentation.

This is based on the Functional Pearls: Diets for Fat Sets by Martin Erwig.

ocaml-diet's Issues

equality?

I note that the package seems to lack an equality test for interval sets. Would that be a feasible addition?

ounit2

Please switch to ounit2

Test suite is part of the main library

Hi,

The test code is part of the main source tree. It would probably make sense to move the actual test code to lib_test/, exposing only the required functions (check_invariant etc). And we can convert at least to ounit2 API so that assertions are pretty printed 🙂.

IntDiet / Int64Diet

Hi,

It seems that all users of this library (mirage-block-unix & wodan) use either the Int or the Int64 version. It would be nice to expose these pre-instanciated modules for convenience (it would also make breaking changes such as #11 less impacting).

What do you think about that?

Thanks!