external intersect : [>`widget] obj -> Gdk.Rectangle.t -> Gdk.Rectangle.t option = "ml_gtk_widget_intersect"