Sarcasm is a specific type of verbal irony that includes a mocking or mean attitude.
From “What is verbal irony? - Christopher Warner” — TED-Ed
see it said at 2:46
Did you know?
Surprising facts — each proven at the exact second of its video