Совпадение списков формальных параметров

Два списка формальных параметров совпадают если

они имеют одинаковое количество параметров, и

они имеют или одинаковый тип результата функции или не имеют никакого, и

параметры в соответствующих позициях имеют равные типы, и

параметры в соответствующих позициях - оба или параметры-значения или параметры-переменные.