模組 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

取得指定位置符號之後的文字