num_extern_def_ids

rustc_middle::dep_graph::label_strs

Constant num_extern_def_ids 

Source 
pub const num_extern_def_ids: &str = "num_extern_def_ids";