charon_
lib
0.1.49
In charon_
lib::
transform::
ullbc_
to_
llbc
charon_lib
::
transform
::
ullbc_to_llbc
Function
block_is_switch
Copy item path
source
fn block_is_switch(body: &
ExprBody
, block_id:
BlockId
) ->
bool