В сигнатуре указывают типы аргументов и : ReturnType; при strict_types нарушения дают TypeError.
Разбор
- nullable — ?Type или Type|null.
- union types с PHP 8.
- void запрещает возврат значения.
- never для функций, которые не возвращают.
Итог
Сигнатуры с типами документируют и проверяют контракт функции.