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