当我使用menhir生成解析器时，有没有办法导出更多东西？

Question

我正在使用menhir生成解析器，现在，它从我的parser.mly文件生成的parser.mli文件如下所示：

(* The type of tokens. *)

type token = 
  (* ... huge ADT definition goes here ... *)

(* This exception is raised by the monolithic API functions. *)

exception Error

(* The monolithic API. *)

val start: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Types.ast

有没有办法在我的解析器界面中包含更多内容？特别是，我希望能够导出我的AST（当前位于单独的Types模块中）的数据类型和一些使用token数据类型的函数（例如，将它们转换回字符串的函数）。

我尝试在parser.mly中的%%之后添加一些Ocaml代码，但是当代码出现在parser.ml中时，我声明的所有函数都没有出现在parser.mli中。