Module Odoc_latex__Types