odoc_xref2

This is the library that is responsible for expansion and resolution.

The important modules are:

Other modules may be found here: