Module resource
creusot_
contracts
0.8.0
Module resource
Module Items
Modules
Structs
In creusot_
contracts::
ghost
creusot_contracts
::
ghost
Module
resource
Copy item path
Source
Expand description
Resource algebras
See
Resource
.
Modules
§
fmap_
view
A resource wrapping a
FMap
in a
View
Structs
§
Resource
A ghost wrapper around a
resource algebra
.