Expand description
Malleability-related Type properties
Structs§
- Malleability
- Structure representing the type properties of a fragment which have relevance to malleability analysis
Enums§
- Dissat
- Whether the fragment has a dissatisfaction, and if so, whether it is unique. Affects both correctness and malleability-freeness, since we assume 3rd parties are able to produce dissatisfactions for all fragments.