Real Dictionary

pun
countable noun: A pun is a clever and amusing use of a word or phrase with two meanings, or of words with the same sound but different meanings. For example, if someone says 'The peasants are revolting', this is a pun because it can be interpreted as meaning either that
verb: If you pun, you try to amuse people by making a pun.

pun in American English
the use of a word, or of words which are formed or sounded alike, in such a way as to juxtapose, connect, or bring out two or more of the possible applications of the word or words, usually in a humorous way; a play on words
to make a pun or puns
intransitive verb: to make puns
noun: the humorous use of a word or phrase so as to emphasize or suggest its different meanings or applications, or the use of words that are alike or nearly alike in sound but different in meaning; a play on words

pun in British English 1
noun: the use of words or phrases to exploit ambiguities and innuendoes in their meaning, usually for humorous effect; a play on words. An example is: " Ben Battle was a soldier bold, And used to war's alarms: But a cannonball took off his legs, So he laid down
verb: to make puns

pun in British English 2
verb: to pack (earth, rubble, etc) by pounding