模块 Docstrings.WithMenhir

module WithMenhir: sig .. end

val symbol_docs : Lexing.position * Lexing.position -> Docstrings.docs

获取当前符号的项目文档。这也会标记此文档(用于歧义警告)。

val symbol_docs_lazy : Lexing.position * Lexing.position ->
Docstrings.docs Lazy.t
val rhs_docs : Lexing.position -> Lexing.position -> Docstrings.docs

获取两个位置之间符号的项目文档。这也会标记此文档(用于歧义警告)。

val rhs_docs_lazy : Lexing.position ->
Lexing.position -> Docstrings.docs Lazy.t
val mark_symbol_docs : Lexing.position * Lexing.position -> unit

标记当前符号的项目文档(用于歧义警告)。

val mark_rhs_docs : Lexing.position -> Lexing.position -> unit

标记两个位置之间符号的项目文档为关联(用于歧义警告)

val symbol_info : Lexing.position -> Docstrings.info

获取当前符号的字段信息。

val rhs_info : Lexing.position -> Docstrings.info

获取给定位置符号之后的字段信息。

val symbol_text : Lexing.position -> Docstrings.text

获取当前符号之前的文本。

val symbol_text_lazy : Lexing.position -> Docstrings.text Lazy.t
val rhs_text : Lexing.position -> Docstrings.text

获取给定位置符号之前的文本。

val rhs_text_lazy : Lexing.position -> Docstrings.text Lazy.t

额外文本

块的定界符(例如 structend)可能附带其他文本。这可以通过以下函数获取,这些函数应用于块的内容而不是定界符。

val symbol_pre_extra_text : Lexing.position -> Docstrings.text

获取当前符号之前的额外文本

val symbol_post_extra_text : Lexing.position -> Docstrings.text

获取当前符号之后的额外文本

val rhs_pre_extra_text : Lexing.position -> Docstrings.text

获取给定位置符号之前的额外文本

val rhs_post_extra_text : Lexing.position -> Docstrings.text

获取给定位置符号之后的额外文本

val rhs_post_text : Lexing.position -> Docstrings.text

获取给定位置符号之后的文本