charon_driver::translate::translate_bodies

Function translate_variant_id

Source 
fn translate_variant_id(id: VariantIdx) -> VariantId