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

Question

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

Answer 1

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

如手册中所述：

  

标题是一段OCaml代码，周围有   ％{   和   ％}   。它在开头逐字复制   .ml   文件。