counter.c

压缩包里面的都是精致的基本C语言小程序

#include <stdio.h>
#include "error.h"
#include "mystdlib.h"
#include "counter.h"

static int counter = 0;

nat counterNext ()
{
  return newNat (counter++);
}

void counterReset ()
{
  counter = 0;
  return;
}