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

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