Module Odoc_model_desc__Type_desc