hammer pond


noun

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

Origin of hammer pond

First recorded in 1885–90