Expand description

Malleability-related Type properties

Structs

Structure representing the type properties of a fragment which have relevance to malleability analysis

Enums

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.