Meaning of miner

(noun) laborer who works in a mine