Skip to main content

eff_scan_length

rapx::verify::call_summary::fn_simulator

Function eff_scan_length 

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