Module transmutability

Source

Structs§

AssumeExperimental
Configurable proof assumptions of TransmuteFrom.

Traits§

TransmuteFromExperimental
Marks that Src is transmutable into Self.