val* standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(val* self);
short int standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(val* self);
val* standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(val* self);
void poset___poset__POSet___add_edge(val* self, val* p0, val* p1);
void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(val* self);
val* standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(val* self);
short int standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(val* self);
val* standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(val* self);
void poset___poset__POSet___add_edge(val* self, val* p0, val* p1);
void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(val* self);