extern const struct type type_array__Arraymodel__MParameterType;
val* NEW_range__Range(const struct type* type);
extern const struct type type_range__Rangekernel__Int;
+val* BOX_kernel__Int(long);
extern const int COLOR_range__Range__without_last;
val* NEW_model__MParameterType(const struct type* type);
extern const struct type type_model__MParameterType;
extern const int COLOR_model__MProperty__lookup_definitions_cache;
extern const int COLOR_more_collections__HashMap2___91d_93d;
extern const int COLOR_more_collections__HashMap2___91d_93d_61d;
+extern const int COLOR_model__MProperty__select_most_specific;
val* model__MProperty__lookup_definitions(val* self, val* p0, val* p1);
extern const int COLOR_model__MProperty___64dlookup_definitions_cache;
val* model__MProperty__lookup_definitions_cache(val* self);
extern const int COLOR_more_collections__HashMap2mmodule__MModulemodel__MTypearray__Arraymodel__MProperty_VTMPROPDEF;
void model__MProperty__lookup_definitions_cache_61d(val* self, val* p0);
-extern const struct type type_array__Arraymodel__MPropDef;
val* model__MProperty__lookup_super_definitions(val* self, val* p0, val* p1);
+extern const int COLOR_poset__POSetElement___60d;
+val* model__MProperty__select_most_specific(val* self, val* p0, val* p1);
extern const int COLOR_model__MProperty__lookup_all_definitions;
val* model__MProperty__lookup_first_definition(val* self, val* p0, val* p1);
extern const int COLOR_model__MProperty__lookup_all_definitions_cache;