Skip to main content

eff_ownership_recon

rapx::verify::call_summary::fn_simulator

Function eff_ownership_recon 

Source 
fn eff_ownership_recon(_: &EffCtx<'_, '_>) -> Vec<CallEffect>