Изменения

Мы называем структуру данных (как реализацию абстрактного типа данных англ.ATD) полностью персистентной, если она эффективно реализует все операции предполагаемого, полностью персистентного ADT.}}

===Интерфейс===

* [X] статический конструктор, который принимает элемент X и возвращает массив, который содержит X в качестве его единственного элемента.

* '''LENGTH''' [A] возвращает длину массива A.