
#ifndef ACCUMULATEDEFAULT_H_INCLUDED
#define ACCUMULATEDEFAULT_H_INCLUDED

#include "AccumulateAxiomatic.h"

/*@
  logic value_type Accumulate{L}(value_type* a, integer n) = 
    Accumulate{L}(a, n, (value_type) 0);
*/


#endif /* ACCUMULATEDEFAULT_H_INCLUDED */

