pug mill

noun

1. a mill for grinding and mixing materials, as clay or the ingredients of cement, to a desired condition.

Word History and Origins

Origin of pug mill¹

First recorded in 1815–25