Skip to main content

eff_split_at

rapx::verify::call_summary::fn_simulator

Function eff_split_at 

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