Skip to main content

Module auth

creusot_std::logic::ra

Module auth

Structs§

AuthUpdate: Apply an update to an Auth resource, by using a local update on the authority/fragment.
AuthViewRel: The relation that specifies Auth.
OpLocalUpdate: Add some data to both an authority and a fragment, at the same time.

Type Aliases§

Auth: The ‘authority’ Resource Algebra.