Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The type of events and operations (setting priority, cancelling, ...)
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
pretty printer
a recurrent event is never removed from the todo set, that is, when ready a copy of it is added back automatically
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