BDD for OCaml