hammer pond

noun

1. an artificial pond for maintaining a head of water at a water mill.

Word History and Origins

Origin of hammer pond¹

First recorded in 1885–90