get_struct_name

rapx::verify::helpers

Function get_struct_name 

Source 
fn get_struct_name(tcx: TyCtxt<'_>, def_id: DefId) -> Option<String>