verbto hammer (a metal object): to shape by hammering, especially to make thinner; archaic spelling of restreindre