sync_wrapper 1.0.2

A tool for enlisting the compiler's help in proving the absence of concurrency
Documentation