To Pun. v.n. [from the noun.] To quibble; to use the same word at once in different senses.
The hand and head were never lost, of those
Who dealt in doggrel, or who punn'd in prose. Dryden.
You would be a better man, if you could pun like Sir Tristram. Tatler, № 57.