Skip to main content

eff_is_empty

rapx::verify::call_summary::fn_simulator

Function eff_is_empty 

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