/* This header file contains the core definitions of the CIVL-C language,
 * including standard types and function prototypes.
 */

#ifndef __CIVLC_CIVL__
#define __CIVLC_CIVL__

#include <civlc.cvh>
//#include <domain.cvh>

/* Completes the declaration of this type in civlc.cvh */
struct $int_iter {
  int size;
  int content[];
  int index; //initialized as 0
};

struct _mem {
  int size;
  void * pointers[];
};

#endif