Curry Package 'array'

array

This package provides an implementation of arrays with Braun trees. Conceptually, Braun trees are always infinite. Consequently, there is no test on emptiness.