Module Trigger.SourceSource

Source for signaling a trigger.

Sourcetype t : value mod contended non_float portable

t is the type of sources of triggers. A source can be used to signal the associated trigger.

Sourceval same : t @ local -> t @ local -> bool

same l r determines whether l and r are the one and the same trigger.

Sourceval signal : t @ local -> unit

signal t signals t, running the callback registered with on_signal t ~f k if it exists. If t is already signalled then signal t does nothing.

Sourceval is_signalled : t @ local -> bool

is_signalled t is true if t has been signalled and false if it is unsignalled.

Sourcemodule For_testing : sig ... end