This is the library that is responsible for expansion and resolution.
The important modules are:
Odoc_xref2.Component Component moduleOdoc_xref2.Compile Odoc_xref2.Tools Tools for manipulating the component data structuresOdoc_xref2.Expand_tools Other modules may be found here: