/* IA_Array<IA_ss_interval> */

#include <Array.h>
#include <Array.c>
#include "SetStructure.h"

typedef IA_Array<IA_ss_interval> _dummy_;
