Module ra 

Definitions of Resource Algebras

Modules

agree

auth

excl

fmap

option

prod

sum

update

view

Traits

RA

Define a Resource Algebra.

UnitRA

Unitary RAs are RA with a neutral element.