Helpers for writing key bindings
Signature for binders.
Type of events.
Type of set of bindings mapping input sequence to values of
type 'a
.
Type of a resolver. A resolver is used to resolve an input
sequence, i.e. to find the value associated to one. It returns
a value of type 'a
when a matching sequence is found.
A pack is a pair of a set of bindings and a mapping function.