/* See nat.h */
/* Last edited on 2008-01-06 23:47:53 by stolfi */

#include <nat.h>
#include <vec.h>
#include <stdlib.h>

vec_typeimpl(nat_vec_t, nat_vec, nat_t);