Module Odoc_xref2__Expand_tools