sig
  type t =
      [ `SELECTION_CLEAR | `SELECTION_NOTIFY | `SELECTION_REQUEST ] Gdk.event
  val cast : GdkEvent.any -> GdkEvent.Selection.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.xid
    = "ml_GdkEventSelection_requestor"
  val time : [< GdkEvent.timed ] Gdk.event -> int32
end