Ocaml implementation for a library allowing adaptive mesh refinement