charon_lib::transform::reorder_decls

Function compute_declarations_graph

Source 
fn compute_declarations_graph<'tcx>(ctx: &'tcx TransformCtx) -> Deps