1. (

• miner ,
• mineworker

) laborer who works in a mine ;