short int hash_collection__HashSet__has(val* self, val* p0);
void hash_collection__HashMap__clear(val* self);
void coloring__POSetConflictGraph__add_conflicts(val* self, val* p0);
short int abstract_collection__MapRead__has_key(val* self, val* p0);
val* NEW_hash_collection__HashSet(const struct type* type);
#define COLOR_hash_collection__HashSetcoloring__POSetConflictGraph_FT0 0
short int hash_collection__HashSet__has(val* self, val* p0);
void hash_collection__HashMap__clear(val* self);
void coloring__POSetConflictGraph__add_conflicts(val* self, val* p0);
short int abstract_collection__MapRead__has_key(val* self, val* p0);
val* NEW_hash_collection__HashSet(const struct type* type);
#define COLOR_hash_collection__HashSetcoloring__POSetConflictGraph_FT0 0