Function num_extern_def_ids 

pub fn num_extern_def_ids<'tcx>(tcx: TyCtxt<'tcx>, key: Key<'tcx>) -> String