Typedef id_t

Typedef Documentation

typedef unsigned int id_t

Type used for generic identifiers, primarily used for Agent ids