Module Docstrings.WithMenhirSource

Sourceval symbol_docs : (Stdlib.Lexing.position * Stdlib.Lexing.position) -> docs
Sourceval symbol_docs_lazy : (Stdlib.Lexing.position * Stdlib.Lexing.position) -> docs lazy_t
Sourceval rhs_docs : Stdlib.Lexing.position -> Stdlib.Lexing.position -> docs
Sourceval rhs_docs_lazy : Stdlib.Lexing.position -> Stdlib.Lexing.position -> docs lazy_t
Sourceval mark_symbol_docs : (Stdlib.Lexing.position * Stdlib.Lexing.position) -> unit
Sourceval mark_rhs_docs : Stdlib.Lexing.position -> Stdlib.Lexing.position -> unit
Sourceval symbol_info : Stdlib.Lexing.position -> docstring option
Sourceval rhs_info : Stdlib.Lexing.position -> docstring option
Sourceval symbol_text : Stdlib.Lexing.position -> docstring list
Sourceval symbol_text_lazy : Stdlib.Lexing.position -> docstring list lazy_t
Sourceval rhs_text : Stdlib.Lexing.position -> docstring list
Sourceval rhs_post_text : Stdlib.Lexing.position -> docstring list
Sourceval rhs_text_lazy : Stdlib.Lexing.position -> docstring list lazy_t
Sourceval symbol_pre_extra_text : Stdlib.Lexing.position -> docstring list
Sourceval symbol_post_extra_text : Stdlib.Lexing.position -> docstring list
Sourceval rhs_pre_extra_text : Stdlib.Lexing.position -> docstring list
Sourceval rhs_post_extra_text : Stdlib.Lexing.position -> docstring list