Module Odoc_document.Compat