Skip to main content

eff_new_allocation_from_cap

rapx::verify::call_summary::builtin_models

Function eff_new_allocation_from_cap 

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