Signature for binders.
val empty : 'a tThe 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.
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.
type 'a result = | Accepted of 'aThe sequence is terminated and associated to the given value.
*)| Continue of 'a resolverThe sequence is not terminated.
*)| RejectedNone of the sequences is prefixed by the one.
*)Result of a resolving operation.