type of language

What type of language is used to show that the literal meaning is different than the implied meaning?