Type of events.

Type of set of bindings mapping input sequence to values of type 'a.

The empty set of bindings.

add events x bindings binds events to x. It raises Invalid_argument if events is empty.

remove events bindings unbinds events. It raises Invalid_argument if events is empty.

fold f set acc executes f on all sequence of set, accumulating a value.

bindings set returns all bindings of set.

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.

pack f set creates a pack.

resolver packs creates a resolver from a list of pack.

Result of a resolving operation.

resolve event resolver tries to resolve event using resolver.