Skip to main content

Module sum

creusot_std::logic::ra

Module sum 

Source

Structs§

SumLocalUpdateL
Apply an update to the Left variant of an authority/fragment pair of Sums.
SumLocalUpdateR
Apply an update to the Right variant of an authority/fragment pair of Sums.
SumUpdateL
Apply an update to the left side of a Sum.
SumUpdateR
Apply an update to the right side of a Sum.

Enums§

Sum
The ‘sum’ (or ‘either’) Resource Algebra.