let cast ev : t = cast ev ~kind:[`PROXIMITY_IN;`PROXIMITY_OUT]