Module Odoc_model_desc__Comment_desc