get_foreign_mod_children

hax_frontend_exporter::rustc

Function get_foreign_mod_children 

Source 
pub fn get_foreign_mod_children<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: RDefId,
) -> Vec<RDefId>
Expand description

Gets the children of an extern block. Empty if the block is not defined in the current crate.