I know of the OCaml debugging tool (first compile with ocamlc -g , then run ocamldebug ) and also the function call traci
ocamlc -g
ocamldebug