使menhir从.mly到.mli添加用户定义的函数

Question

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

Answer 1

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

如手册中所述：

标头是一段OCaml代码，用%{和%}括起来。它被逐字复制到.ml文件的开头。