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