Modules§
Macros§
Structs§
- INVARIANTS_
BY_ 🔒ACTION_ KIND - List of invariants that need to be triggered if we see a given
ActionKind
. - Invariants
Iter - An iterator over the variants of Invariants
- Invariants
State
Enums§
- Invariant
Ignore Reason - Invariant
Result - Invariants
- Invariants
Discriminants - Auto-generated discriminant enum variants