Skip to main content

eff_overflowing_nz

rapx::verify::call_summary::builtin_models

Function eff_overflowing_nz 

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