巨石允许任意OCaml的代码添加到.mly文件，在这里我要声明的一些功能的结束。 但我不能找到一种方法，使巨石加我功能的.mli文件，让他们从其他模块可见。 可能吗？
Answer 1:
答案很简单，这是没有 。 在定义的代码.mly文件仅用于由分析器。
如手册中指出：
报头是一块OCaml的代码，用％{和％}所包围。 它是在.ml文件的开头逐字复制。
文章来源: Make menhir add user-defined functions from .mly to .mli
巨石允许任意OCaml的代码添加到.mly文件，在这里我要声明的一些功能的结束。 但我不能找到一种方法，使巨石加我功能的.mli文件，让他们从其他模块可见。 可能吗？
答案很简单，这是没有 。 在定义的代码.mly文件仅用于由分析器。
如手册中指出：
报头是一块OCaml的代码，用％{和％}所包围。 它是在.ml文件的开头逐字复制。
