The medical term that refers to an instrument used to measure (the curvature of) the cornea is: