
#ifndef COUNTLOGIC_H_INCLUDED
#define COUNTLOGIC_H_INCLUDED

#include "CountSection.h"

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


#endif /* COUNTLOGIC_H_INCLUDED */

