{0 The [odoc] comment parser}

This is the parser for odoc-formatted comments and mld files.

For API documentation see {!Odoc_parser}.