Skip to main content

eff_option_scan_index

rapx::verify::call_summary::builtin_models

Function eff_option_scan_index 

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