What is an instrument for measuring the size of the pupil of the pupil of the eye called?

pupillometer — An instrument for measuring the size of the pupil of the pupil of the eye. (Webster's 1913.)

Sources