anchor.diff:  
   -spec relax(Array :: array(Type)) -> array(Type).
   
  -relax(#array{size = N}=A) ->
  +relax(#array{size = N}=A) when is_integer(N), N >= 0 ->
       A#array{max = find_max(N-1, ?LEAFSIZE)}.
   
   
  
positive.code:       Function :: fun((Index :: array_indx(), Value :: Type, Acc :: A) -> B).
  
  foldl(Function, A, #array{size = N, elements = E, default = D})
    when is_function(Function, 3) ->
      if N > 0 ->
  	    foldl_1(N-1, E, A, 0, Function, D);
         true ->
  
negative.code: 
  sparse_to_orddict(#array{size = 0}) ->
      [];
  sparse_to_orddict(#array{size = N, elements = E, default = D})
    when is_integer(N) ->
      I = N - 1,
      sparse_to_orddict_1(E, I, D, I);
  sparse_to_orddict(_) ->
  