charon_
lib
0.1.45
In charon_
lib::
transform::
ullbc_
to_
llbc
charon_lib
::
transform
::
ullbc_to_llbc
Function
opt_block_unwrap_or_nop
Copy item path
source
fn opt_block_unwrap_or_nop(span:
Span
, opt_block:
Option
<
Block
>) ->
Block