pun2

 
Pronunciation: /pʌn/

verb (puns, punning, punned)

[with object] British
  • consolidate (earth or rubble) by pounding it.

Derivatives

punner

noun

Origin:

mid 16th century: dialect variant of pound2