Skip to main content

eff_from_raw_parts

rapx::verify::call_summary::fn_simulator

Function eff_from_raw_parts 

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