Синоним слова РУДОКОП в словаре Синонимов русского языка

Что такое РУДОКОП

горнорабочий, горняк, шахтер

Синонимы русского языка.