charon_lib::transform::reorder_decls

Function group_declarations_from_scc

source 
fn group_declarations_from_scc(
    _ctx: &TransformCtx,
    graph: Deps,
    reordered_sccs: SCCs<AnyTransId>,
) -> DeclarationsGroups