Skip to content

Manual: Add a link to the API instead of having a code snippet #6637

New issue
New issue
Open
#6809
Open
Manual: Add a link to the API instead of having a code snippet#6637
#6809
Labels
AREA: DOCUMENTATION
@kit-ty-kate

Description

@kit-ty-kate
kit-ty-kate
opened on Aug 11, 2025

See #6596

Requires opam2web to be fixed and copy the generated API files.

Metadata

Metadata

Assignees

No one assigned

    Labels

    AREA: DOCUMENTATION

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions