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

Question

我想做的是跟踪函数 aux 在如下定义中具有受限范围：

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

使用 #trace 或类似的顶层命令，以便在调用 example 时出现跟踪。

（不只是将辅助函数复制粘贴到其他名称下并将其传递到顶层）

注意：我在 emacs 上使用图阿雷格模式

Answer 1

没有。在顶层，您只能跟踪顶层函数。