Module Odoc_latex__Generator