Module Trigger.Source

type t

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

val same : t @ local -> (t @ local -> bool) @ local

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

val signal : t @ local -> unit

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

val is_signalled : t @ local -> bool

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