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