Module sum
creusot_
contracts
0.8.0
Module sum
Module Items
Structs
Enums
In creusot_
contracts::
logic::
ra
creusot_contracts
::
logic
::
ra
Module
sum
Copy item path
Source
Structs
§
SumLocal
UpdateL
SumLocal
UpdateR
SumUpdateL
SumUpdateR
Enums
§
Sum
The ‘sum’ (or ‘either’) Resource Algebra.