Document the array abstraction.