type defined for priority annotation argument