module Ed_keymaps:Convenient function for keymaps.sig
..end
val string_of_mod_key : Gdk.Tags.modifier list * int -> string
val string_of_state : (Gdk.Tags.modifier list * int) list -> string
val latex_of_key_bindings : (Okey.keyhit_state * string) list -> string