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