Значение слова ГРАНИЛЬНИК в Новом словаре русского языка Ефремовой

Что такое ГРАНИЛЬНИК

м. Стальной инструмент для гравирования на металле.

Ефремова. Новый словарь русского языка Ефремовой.