Skip to main content

eff_select_unpredictable

rapx::verify::call_summary::builtin_models

Function eff_select_unpredictable 

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