GdkEvent.Crossingtype t = [ `ENTER_NOTIFY | `LEAVE_NOTIFY ] Gdk.eventval subwindow : t -> Gdk.windowval x : t -> floatval y : t -> floatval x_root : t -> floatval y_root : t -> floatval mode : t -> Gdk.Tags.crossing_modeval detail : t -> Gdk.Tags.notify_typeval focus : t -> boolval state : t -> int