Tonic pupil, right eye
ICD-10 H57.051 is a billable code used to indicate a diagnosis of tonic pupil, right eye.