Most USB-C devices really only support DisplayPort for video output.
There's an HDMI "alt mode", but almost no device uses that directly; most USB-C-to-HDMI adapters and cables are accordingly really combined USB-C to DisplayPort and DisplayPort to HDMI converters and translate one protocol to the other at the electrical and logical level.
It also supports HDMI but that's used with an adapter anyway, so it's not a consideration if it works for a user.