ocaml - 让 menhir 将用户定义的函数从 .mly 添加到 .mli

Question

Menhir 允许将任意 ocaml 代码添加到 .mly 文件的末尾，我想在其中声明一些函数。但是我找不到让menhir 将我的函数添加到.mli 文件的方法，以便它们在其他模块中可见。可能吗？

Answer 1

答案很简单，不是。文件中定义的代码.mly仅供解析器使用。

如手册所述：

标头是一段 OCaml 代码，由 %{ 和 %} 包围。它在 .ml 文件的开头逐字复制。