miner

One whose work or business it is to extract ore or minerals from the earth.

A machine for the automatic extraction of minerals, especially of coal.

A soldier, often a specialist, engaged in mining operations.

A leaf miner.

One who mines; a person engaged in digging for metals or minerals, or in forming a military or other mine.

In zoöl, an insect that mines: chiefly in composition: as, a leaf-miner.

The term is sometimes limited to one who mines for minerals other than coal, a coal-miner being called a collier in Great Britain.

One who mines; a digger for metals, etc.; one engaged in the business of getting ore, coal, or precious stones, out of the earth; one who digs military mines.

Any of numerous insects which, in the larval state, excavate galleries in the parenchyma of leaves. They are mostly minute moths and dipterous flies.