Module ra

creusot_contracts::logic

Module ra

Expand description

Definitions of Resource Algebras

Modules§

agree
auth
excl
fmap
option
prod
sum
update
view

Traits§

RA: Define a Resource Algebra.
UnitRA