Module Odoc_model__Paths_types