Трассировка и отладка в OCaml

Что вы используете для трассировки и отладки в OCaml?

Для отладки я попробовал ocamldebug и Плагин Emacs.

Для трассировки я хочу иметь возможность распечатать конструктор данных для каждой переменной. Пример использования Camlp4 показан здесь: http://caml.inria.fr/pub/docs/tutorial -camlp4 / tutorial007.html # toc52

   type colour = Red | Green | Blue
   let print_colour =
     function
       Red -> print_string "Red"
     | Green -> print_string "Green"
     | Blue -> print_string "Blue"