charon_lib::transform::reorder_decls

Function compute_declarations_graph

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