Skip to main content
eff_box_alloc
rapx
0.7.55
In rapx::
verify::
call_
summary::
builtin_
models
rapx
::
verify
::
call_summary
::
builtin_models
Function
eff_
box_
alloc
Copy item path
Source
fn eff_box_alloc(_ctx: &
EffCtx
<'_, '_>) ->
Vec
<
CallEffect
>