Значение слова ШТРЕВЕЛЬ в Словаре Даля

Что такое ШТРЕВЕЛЬ

штревень муж. , горн. медный пруток, вкладываемый в буровую, стрельную дыру перед забоем ее для затравки.

Даль. Словарь Даля.