Module Odoc_loader__Doc_attr