Module Odoc_model_desc__Paths_desc