Skip to main content

cleanup_post_merge

charon_lib::export::multi_target

Function cleanup_post_merge 

Source 
fn cleanup_post_merge(ctx: &mut TransformCtx)
Expand description

Recompute declaration order and run final whole-crate cleanup on the merged crate.