---
name: "Docstrings.WithMenhir"
section: "3o"
platform: "linux"
package: "ocaml"
version: "5.5.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/Docstrings.WithMenhir"
---

# Docstrings.WithMenhir(3o)

no description

## NAME

Docstrings.WithMenhir - no description

## Module

Module   Docstrings.WithMenhir

## Documentation

Module **WithMenhir**\
  :  **sig end**

*val symbol\_docs* :  **Lexing.position \* Lexing.position -\> Docstrings.docs**

Fetch the item documentation for the current symbol. This also marks this documentation (for ambiguity warnings).

*val symbol\_docs\_lazy* :  **Lexing.position \* Lexing.position -\>** **Docstrings.docs Lazy.t**

*val rhs\_docs* :  **Lexing.position -\> Lexing.position -\> Docstrings.docs**

Fetch the item documentation for the symbols between two positions. This also marks this documentation (for ambiguity warnings).

*val rhs\_docs\_lazy* :  **Lexing.position -\>** **Lexing.position -\> Docstrings.docs Lazy.t**

*val mark\_symbol\_docs* :  **Lexing.position \* Lexing.position -\> unit**

Mark the item documentation for the current symbol (for ambiguity warnings).

*val mark\_rhs\_docs* :  **Lexing.position -\> Lexing.position -\> unit**

Mark as associated the item documentation for the symbols between two positions (for ambiguity warnings)

*val symbol\_info* :  **Lexing.position -\> Docstrings.info**

Fetch the field info for the current symbol.

*val rhs\_info* :  **Lexing.position -\> Docstrings.info**

Fetch the field info following the symbol at a given position.

*val symbol\_text* :  **Lexing.position -\> Docstrings.text**

Fetch the text preceding the current symbol.

*val symbol\_text\_lazy* :  **Lexing.position -\> Docstrings.text Lazy.t**

*val rhs\_text* :  **Lexing.position -\> Docstrings.text**

Fetch the text preceding the symbol at the given position.

*val rhs\_text\_lazy* :  **Lexing.position -\> Docstrings.text Lazy.t**

### Extra 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.

*val symbol\_pre\_extra\_text* :  **Lexing.position -\> Docstrings.text**

Fetch additional text preceding the current symbol

*val symbol\_post\_extra\_text* :  **Lexing.position -\> Docstrings.text**

Fetch additional text following the current symbol

*val rhs\_pre\_extra\_text* :  **Lexing.position -\> Docstrings.text**

Fetch additional text preceding the symbol at the given position

*val rhs\_post\_extra\_text* :  **Lexing.position -\> Docstrings.text**

Fetch additional text following the symbol at the given position

*val rhs\_post\_text* :  **Lexing.position -\> Docstrings.text**

Fetch text following the symbol at the given position