PUN'NING, participle present tense [from pun.] Using a word at once in different senses. PUN'NING, noun The art or practice of using puns; a playing on words.
Source: Webster's 1828 American Dictionary ↗ · public-domain · returned verbatim, no AI