Совпадение списков формальных параметров
Совпадение списков формальных параметров
Два списка формальных параметров совпадают если
они имеют одинаковое количество параметров, и они имеют или одинаковый тип результата функции или не имеют никакого, и параметры в соответствующих позициях имеют равные типы, и параметры в соответствующих позициях - оба или параметры-значения или параметры-переменные.