Module transmute 

Enums

Answer

The result of a transmutability query under the supplied Assume options.

Condition

A condition which must hold for safe transmutation to be possible.

Reason

Answers “why wasn’t the source type transmutable into the destination type?”