Типы Height и Speed являются эквивалентными:

> -- Цитата:
> Одинаковые типы [Same types]Две переменные a и b с типами Ta и Tb имеют одинаковый тип, если1.  Ta и Tb оба обозначены одним и тем же идентификатором типа, или2.  Ta описан в описании типа вида Ta = Tb, или3.  a и b появляются в одном списке идентификаторов в описании переменных, полей записи или формальных параметров.Эквивалентные типы [Equal types]Два типа Ta и Tb эквивалентны, если1.  Ta и Tb имеют одинаковый тип, или2.  Ta и Tb суть типы открытых массивов с эквивалентными типами элементов, или3.  Ta и Tb суть процедурные типы, чьи списки формальных параметров соответствуют.4.  Ta и Tb суть указательные типы с эквивалентными базовыми типами.