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