package sel
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Sel.Event
The type of events and operations (setting priority, cancelling, ...)
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
pretty printer
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