let property_notify : ([>`widget], GdkEvent.Property.t -> bool) t = { name = "property_notify_event"; classe = `widget; marshaller = marshal }