sig val string_of_mod_key : Gdk.Tags.modifier list * int -> string val string_of_state : (Gdk.Tags.modifier list * int) list -> string end