
#ifndef REMOVECOUNT_H_INCLUDED
#define REMOVECOUNT_H_INCLUDED

#include "CountLogic.h"

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


#endif /* REMOVECOUNT_H_INCLUDED */

