Docstrings.WithMenhir
let symbol_docs: (Lexing.position, Lexing.position) => docs;
Fetch the item documentation for the current symbol. This also marks this documentation (for ambiguity warnings).
let symbol_docs_lazy: (Lexing.position, Lexing.position) => Lazy.t(docs);
let rhs_docs: Lexing.position => 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: Lexing.position => Lexing.position => Lazy.t(docs);
let mark_symbol_docs: (Lexing.position, Lexing.position) => unit;
Mark the item documentation for the current symbol (for ambiguity warnings).
let mark_rhs_docs: Lexing.position => Lexing.position => unit;
Mark as associated the item documentation for the symbols between two positions (for ambiguity warnings)
let symbol_info: Lexing.position => info;
Fetch the field info for the current symbol.
let rhs_info: Lexing.position => info;
Fetch the field info following the symbol at a given position.
let symbol_text: Lexing.position => text;
Fetch the text preceding the current symbol.
let symbol_text_lazy: Lexing.position => Lazy.t(text);
let rhs_text: Lexing.position => text;
Fetch the text preceding the symbol at the given position.
let rhs_text_lazy: Lexing.position => 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: Lexing.position => text;
Fetch additional text preceding the current symbol
let symbol_post_extra_text: Lexing.position => text;
Fetch additional text following the current symbol
let rhs_pre_extra_text: Lexing.position => text;
Fetch additional text preceding the symbol at the given position
let rhs_post_extra_text: Lexing.position => text;
Fetch additional text following the symbol at the given position
let rhs_post_text: Lexing.position => text;
Fetch text following the symbol at the given position