external leave : [>`button] obj -> unit = "ml_gtk_button_leave"