external convert : [> `widget] obj -> sel:Gdk.atom -> target:Gdk.atom -> time:int32 -> bool = "ml_gtk_selection_convert"