Module GdkEvent.Key
type t= [ `KEY_PRESS | `KEY_RELEASE ] Gdk.event
val state : t -> intval keyval : t -> Gdk.keysymval string : t -> stringval hardware_keycode : t -> intval group : t -> int
val state : t -> Gdk.Tags.modifier list