Значение слова ПРОХОДЧИК в Толковом словаре Ефремовой

Что такое ПРОХОДЧИК

проходчик

1. м.

Тот, кто производит проходку.

2. м.

Машина, производящая проходку.

Ефремова. Толковый словарь Ефремовой.