Module Odoc_xref2__Type_of