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

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