Module Sel.Event

The type of events and operations (setting priority, cancelling, ...)

type 'a t
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit

pretty printer

val map : ('a -> 'b) -> 'a t -> 'b t

inject an event into another one

type cancellation_handle
val get_cancellation_handle : 'e t -> cancellation_handle

in order to cancel an event, one has to store its cancellation handle

val cancel : cancellation_handle -> unit

a cancelled event is automatically removed from the todo set