charon_lib::transform::ullbc_to_llbc

Function block_is_switch

Source
fn block_is_switch(body: &ExprBody, block_id: BlockId) -> bool