Module auth
creusot_
contracts
0.8.0
Module auth
Module Items
Structs
Type Aliases
In creusot_
contracts::
logic::
ra
creusot_contracts
::
logic
::
ra
Module
auth
Copy item path
Source
Structs
§
Auth
Update
Auth
View
Rel
The relation that specifies
Auth
.
Type Aliases
§
Auth
The ‘authority’ Resource Algebra.