Module excl 

Exclusive storage protocol resource algebra.

Structs

Exclusive

Exclusive is a token that stores a tracked object of type T and ensures its exclusive ownership. No two Exclusive tokens can have the same id. The owned tracked object can be borrowed, updated, taken out and put back.

Enums

ExclusiveSP