odoc_xref_test (odoc.odoc_xref