Ada Programming/Libraries/Ada.Unchecked Conversion

is a unit of the Predefined Language Environment since Ada 95.

Specification
Source Target AdaUnchecked_Conversion S Source  Target Convention Intrinsic AdaUnchecked_Conversion Pure AdaUnchecked_Conversion

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Type System