YourDictionary

triphammer

noun

a heavy, power-driven hammer, alternately raised and allowed to fall by a tripping device
also written trip hammer

link/cite print suggestion box