#ifndef nat_H
#define nat_H

#include <vec.h>

/* Another name for "unsigned int" */
/* Last edited on 2006-02-28 11:41:08 by stolfi */

typedef unsigned int nat_t;

vec_typedef(nat_vec_t,nat_vec,nat_t);
  /* Vectors of unsigned integers ({nat_t}). */

#endif