Related Ocaml data structures:
The code presented in this article has been formally proved using the Coq proof assistant :
Ocaml files used to make the benchmarks presented in the article