ocaml - 是否可以在 Ocaml REPL 中跟踪辅助功能

Question

我想做的是跟踪函数 aux在定义中限制了范围，例如:

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

与 #trace或类似的顶级命令，以便在 example 时出现跟踪叫做。
(不只是以其他名称复制粘贴辅助函数并将其传递给顶层)
注意:我在 emacs 上使用 tuareg 模式

Answer 1

不可以。在顶层，您只能跟踪顶层函数。