#include "ECOA.h"

/* ECOA:module_states_type */
typedef ECOA__uint32 ECOA_Platform__module_states_type;
#define ECOA_Platform__module_states_type_IDLE    (0)
#define ECOA_Platform__module_states_type_READY   (1)
#define ECOA_Platform__module_states_type_RUNNING (2)
