Значение слова ТОЧИЛЬНЯ в Большом современном толковом словаре русского языка

Что такое ТОЧИЛЬНЯ

ж. разг.

Мастерская для точки [ точка V 1.] режущих и колющих инструментов или для изготовления чего-либо точением.

Большой современный толковый словарь русского языка.