Structs§
- View
- The ‘view’ Resource Algebra.
- View
Update - Apply an update to a
View, that changes both the authority and the fragment part, non-deterministically. - View
Update Insert - Apply an update to a
View, that adds a fragment and grows the authority accordingly. - View
Update Remove - Apply an update to a
View, that replace the view with a pure authority, discarding the fragment.