(It could also be written, without taking advantage of the bracket, as phone_book.item ("JILL SMITH") := New_person. note: The argument list of a's assigner is constrained to be: (a's return type;all of a's argument list...)
(Може такође бити записано, без узимања користи носача, као phone_book.item ("JILL SMITH") := New_person. напомена: Аргумент листе додељивача је ограничен да буде (као повратни тип; сви као аргументи листе...)  Ајфел није осетљив на случај.