pugmiller
/ˈpʊɡmɪlər/Definitions
1. noun
A type of rock mill or grinder, particularly one used in the extraction of gold.
“The pugmiller was used extensively by miners in the 19th century to crush ore.”
2. verb
To crush or grind ore or rock, especially with a pugmiller.
“The miners pugmilled the ore to release the gold within.”