Module Terminator.Expert

val globalize : t @ local -> t

globalize t is t @ global.

Termination tokens are generally strictly scoped as they are implicitly terminated at the end of their scope. Within a token's scope, however, one may e.g. need to link to it from a newly spawned thread or domain and in that case one the token needs to be globalized.

val create : unit -> t

create () creates a fresh unscoped termination token.

Termination tokens are generally strictly scoped. When using an unscoped token one should arrange for the token to be termminated after it is no longer needed to ensure that any attached resources will be cleaned up.