translate_variant_id

charon_driver::translate::translate_bodies

Function translate_variant_id 

Source 
pub fn translate_variant_id(id: VariantIdx) -> VariantId