compute_declarations_graph

charon_lib::transform::add_missing_info::reorder_decls

Function compute_declarations_graph 

Source 
fn compute_declarations_graph<'tcx>(
    ctx: &'tcx TransformCtx,
) -> DiGraphMap<ItemId, ()>