Navigating between modules having the same parent

[francoisthire]

Currently, when using odoc-generated documentation, it takes at least three clicks to navigate between modules that share the same parent. By contrast, Rustdoc reduces this to a single click thanks to its navigation menu. What would be a good way to achieve something similar in odoc and bring it down to one click?

[jonludlam]

How are you generating the docs? Are you using the docs on ocaml.org? There's a tree view on the left where you can navigate between modules easily. If you're talking about the docs generated by dune build @doc, we need to update the dune rules to use the new global navigation feature that's part of odoc 3 (and is how that tree view on ocaml.org is generated).