Module Odoc_document.CompatSource