Равные типы

Два типа Ta, и Tb равны, если

Ta и Tb - одинаковые типы, или

Ta и Tb - типы открытый массив с равными типами элементов, или

Ta и Tb - процедурные типы, чьи списки формальных параметров совпадают.