GdkEvent.Visibility
type t
= [ `VISIBILITY_NOTIFY ] Gdk.event
val cast : any -> t
val visibility : t -> Gdk.Tags.visibility_state