sig
  type t = [ `PROPERTY_NOTIFY ] Gdk.event
  val cast : GdkEvent.any -> GdkEvent.Property.t
  external atom : GdkEvent.Property.t -> Gdk.atom
    = "ml_GdkEventProperty_atom"
  val time : [< GdkEvent.timed ] Gdk.event -> int32
  external state : GdkEvent.Property.t -> int = "ml_GdkEventProperty_state"
end