sync_wrapper 1.0.0

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