Terminator.Sourcet is the type of termination sources that can be used to cause an associated termination token to become terminated.
val terminate : t @ local -> unitterminate t makes the token associated with t terminated, and signals any triggers attached to it.