external has_tag : text_iter -> text_tag -> bool = "ml_gtk_text_iter_has_tag"