Answer:
Puns is the correct answer.
Step-by-step explanation:
According to the Cambridge Dictionary, a pun is defined as "a humorous use of word or phrase that has several meanings or that sounds like another word." In statement, we can see that the speaker mentions that they laughed "at the double meanings" supporting the idea in the definition.