Await_kernelmodule Cancellation : sig ... endA cancellation token represents an explicit, expected, and voluntary submission or desire to be interrupted asynchronously.
module Or_canceled : sig ... endmodule Terminator : sig ... endA termination token represents an implicit and unexpected interrupt request to be used in case of panics.
module Trigger : sig ... endA trigger represents the ability to await for or react to a signal.
module Yield : sig ... endmodule Await : sig ... end