jon.recoil.org

Module Doctree.MathSource

Sourceval has_math_elements : Odoc_document.Types.Page.t -> bool