external ends_tag : text_iter -> text_tag option -> bool = "ml_gtk_text_iter_ends_tag"