Идентификация типа процедурной переменной основано на соответствии сигнатуры, а не на соответствии имён, как для структурных записей, поэтому сигнатура типа экспортированных процедурных переменных всегда сохраняется, не нарушая общий принцип, так как по определению не структурна