Я бы хотел отследить функцию aux, которая имеет ограниченную область видимости в таком определении, как:
let example = function
arg ->
let rec aux =
(* some recursive function body*)
in
aux arg
;;
с помощью #trace или аналогичной команды верхнего уровня, чтобы трассировка появлялась, когда Вызывается example.
(без копирования и вставки вспомогательной функции под другим именем и передачи ее на верхний уровень)
примечание: я использую режим tuareg на emacs