American Dictionary of the English Language

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

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