Module Odoc_xref2__Lang_of