是否可以跟踪Ocaml REPL中的辅助函数

我想做的是跟踪定义中范围受限的函数

aux

，如：

let example = function 
  arg -> 
    let rec aux =  
      (* some recursive function body*)  
    in 
    aux arg 
;;

使用

#trace

或类似的顶级命令，以便在调用

示例

时显示跟踪

（无需复制粘贴其他名称下的辅助功能并将其传递到顶层）

---

注意：我正在emacs上使用tuareg模式。否。在toplevel中，您只能跟踪toplevel功能