charon_driver::translate::translate_bodies

Function translate_field_id

Source 
fn translate_field_id(id: FieldIdx) -> FieldId