Module transmutability 

Structs

AssumeExperimental

Configurable proof assumptions of TransmuteFrom.

Traits

TransmuteFromExperimental

Marks that Src is transmutable into Self.