charon_lib::transform::reorder_decls

Function compute_reordered_decls

Source 
fn compute_reordered_decls(ctx: &TransformCtx) -> DeclarationsGroups