Structs
- Iterator type for iterating over submodules.
- A TyAbiDecl contains the type-checked version of the parse tree’s
AbiDeclaration
. - Describes the full storage access including all the subfields
- Describes a single subfield access in the sequence when accessing a subfield within storage.