`sig
type t =
[ `SELECTION_CLEAR | `SELECTION_NOTIFY | `SELECTION_REQUEST ] Gdk.event
val cast : any -> t
external selection : GdkEvent.Selection.t -> Gdk.atom
= "ml_GdkEventSelection_selection"
external target : GdkEvent.Selection.t -> Gdk.atom
= "ml_GdkEventSelection_target"
external property : GdkEvent.Selection.t -> Gdk.atom
= "ml_GdkEventSelection_property"
external requestor : GdkEvent.Selection.t -> Gdk.native_window
= "ml_GdkEventSelection_requestor"
val time : [< GdkEvent.timed ] Gdk.event -> int32
end`