Docstrings.WithMenhirval symbol_docs : (Lexing.position * Lexing.position) -> docsval symbol_docs_lazy : (Lexing.position * Lexing.position) -> docs Lazy.tval rhs_docs : Lexing.position -> Lexing.position -> docsval rhs_docs_lazy : Lexing.position -> Lexing.position -> docs Lazy.tval mark_symbol_docs : (Lexing.position * Lexing.position) -> unitval mark_rhs_docs : Lexing.position -> Lexing.position -> unitval symbol_info : Lexing.position -> infoval rhs_info : Lexing.position -> infoval symbol_text : Lexing.position -> textval symbol_text_lazy : Lexing.position -> text Lazy.tval rhs_text : Lexing.position -> textval rhs_text_lazy : Lexing.position -> text Lazy.tval symbol_pre_extra_text : Lexing.position -> textval symbol_post_extra_text : Lexing.position -> textval rhs_pre_extra_text : Lexing.position -> textval rhs_post_extra_text : Lexing.position -> textval rhs_post_text : Lexing.position -> text