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.
Source: Webster's 1828 American Dictionary ↗ · public-domain · returned verbatim, no AI