external set : selection_data -> typ:Gdk.atom -> format:int -> data:string option -> unit = "ml_gtk_selection_data_set"