Skip to main content

eff_box_from_vec

rapx::verify::call_summary::fn_simulator

Function eff_box_from_vec 

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