miner

MI'NER, n. One that digs for metals and other fossils.

1. One who digs canals or passages under the walls of a fort, &c. Armies have sappers and miners.