crocodile squeezer
noun1
Engineering, Metallurgy, Natural sciences, Physical sciences A kind of jawed squeezer used for the expulsion of the cinder from, and the consolidation of, the puddled ball of metal.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.