creusot_contracts
0.3.0
In creusot_contracts::std::intrinsics::mir
Function
creusot_contracts
::
std
::
intrinsics
::
mir
::
Deinit
Copy item path
source
·
[
−
]
pub fn Deinit<T>(place: T)
🔬
This is a nightly-only experimental API. (
custom_mir
)