Skip to content

Add odoc comments #128

@mlms13

Description

@mlms13

After cleaning up all the deprecated modules and functions (#126), we should be ready to start thoroughly documenting everything that's left in the rei interface file.

The goal of this ticket is just to get the documentation written. We can figure out how to publish it separately.

Metadata

Metadata

Assignees

No one assigned

    Labels

    documentationDocumentation is missing or confusing

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions