Modules
Structs
in the expression
a::b::c(), a and b are the prefixes and c is the suffix.
c can be any type T, but in practice c is either an Ident or a TypeInfo.Enums
The purity of a function is related to its access of contract storage. If a function accesses
or could potentially access contract storage, it is [Purity::Impure]. If a function does not utilize any
any accesses (reads or writes) of storage, then it is Purity::Pure.
Functions
Utility to find the union of purities. To ‘promote’ Reads to Writes we want ReadsWrites, and
the same for Writes to Reads.
Type Definitions
The name used within a module to refer to one of its submodules.