Function charon_lib::transform::ullbc_to_llbc::get_goto_kind

source ยท 
fn get_goto_kind(
    exits_info: &ExitInfo,
    parent_loops: &Vector<BlockId>,
    switch_exit_blocks: &HashSet<BlockId>,
    next_block_id: BlockId,
) -> GotoKind