Verified record · from the answer index

sync_wrapper

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

lib:crates:sync_wrapper · published by actyx · source repository