get_mod_children

hax_frontend_exporter

Function get_mod_children 

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

Gets the children of a module.