long abstract_collection__Set__hash(val* self);
extern const int COLOR_abstract_collection__MapRead_FT0;
val* abstract_collection__MapRead___91d_93d(val* self, val* p0);
-extern const int COLOR_abstract_collection__MapRead_FT1;
extern const int COLOR_abstract_collection__MapRead__has_key;
extern const int COLOR_abstract_collection__MapRead___91d_93d;
+val* abstract_collection__MapRead__get_or_null(val* self, val* p0);
+extern const int COLOR_abstract_collection__MapRead_FT1;
val* abstract_collection__MapRead__get_or_default(val* self, val* p0, val* p1);
extern const int COLOR_abstract_collection__MapRead__keys;
short int abstract_collection__MapRead__has_key(val* self, val* p0);
val* abstract_collection__MapRead__keys(val* self);
short int abstract_collection__MapRead__is_empty(val* self);
long abstract_collection__MapRead__length(val* self);
+val* abstract_collection__MapRead__provide_default_value(val* self, val* p0);
extern const int COLOR_abstract_collection__Map_FT0;
extern const int COLOR_abstract_collection__Map_FT1;
void abstract_collection__Map___91d_93d_61d(val* self, val* p0, val* p1);
extern const int COLOR_abstract_collection__CoupleMap_FT0;
val* abstract_collection__CoupleMap__couple_at(val* self, val* p0);
extern const int COLOR_abstract_collection__CoupleMap__couple_at;
+extern const int COLOR_abstract_collection__MapRead__provide_default_value;
extern const int COLOR_abstract_collection__Couple__second;
val* abstract_collection__CoupleMap___91d_93d(val* self, val* p0);
extern const int COLOR_abstract_collection__CoupleMapIterator___iter;