Module task 

Modules

cpu_core

Proof model for ownership of one CPU’s local resources.

cpu_local

Proof model for CPU-local state.

Structs

AnyAtomicGuard

A dummy type satisfying InAtomicMode, used when the concrete guard type is irrelevant (e.g. in external_body stubs).

Traits

InAtomicMode