translate_field_id

charon_driver::translate::translate_bodies

Function translate_field_id 

Source 
fn translate_field_id(id: FieldIdx) -> FieldId