odoc
odoc copied to clipboard
Show packages and libraries in the breadcrumbs
This is still work in progress as pages that are inside a library are not recognized and the library name might be inconsistent with the one passed to the link command.
This makes the breadcrumbs more readable by removing uninterested components and make the beginning of the module path more recognizable.
The `Library
constructor is added to identifiers to propagate this information.