Docstrings.WithMenhirlet symbol_docs: (Stdlib.Lexing.position, Stdlib.Lexing.position) => docs;Fetch the item documentation for the current symbol. This also marks this documentation (for ambiguity warnings).
let symbol_docs_lazy:
(Stdlib.Lexing.position, Stdlib.Lexing.position) =>
Stdlib.Lazy.t(docs);let rhs_docs: Stdlib.Lexing.position => Stdlib.Lexing.position => docs;Fetch the item documentation for the symbols between two positions. This also marks this documentation (for ambiguity warnings).
let rhs_docs_lazy:
Stdlib.Lexing.position =>
Stdlib.Lexing.position =>
Stdlib.Lazy.t(docs);Mark the item documentation for the current symbol (for ambiguity warnings).
Mark as associated the item documentation for the symbols between two positions (for ambiguity warnings)
let symbol_info: Stdlib.Lexing.position => info;Fetch the field info for the current symbol.
let rhs_info: Stdlib.Lexing.position => info;Fetch the field info following the symbol at a given position.
let symbol_text: Stdlib.Lexing.position => text;Fetch the text preceding the current symbol.
let symbol_text_lazy: Stdlib.Lexing.position => Stdlib.Lazy.t(text);let rhs_text: Stdlib.Lexing.position => text;Fetch the text preceding the symbol at the given position.
let rhs_text_lazy: Stdlib.Lexing.position => Stdlib.Lazy.t(text);There may be additional text attached to the delimiters of a block (e.g. struct and end). This is fetched by the following functions, which are applied to the contents of the block rather than the delimiters.
let symbol_pre_extra_text: Stdlib.Lexing.position => text;Fetch additional text preceding the current symbol
let symbol_post_extra_text: Stdlib.Lexing.position => text;Fetch additional text following the current symbol
let rhs_pre_extra_text: Stdlib.Lexing.position => text;Fetch additional text preceding the symbol at the given position
let rhs_post_extra_text: Stdlib.Lexing.position => text;Fetch additional text following the symbol at the given position
let rhs_post_text: Stdlib.Lexing.position => text;Fetch text following the symbol at the given position