charon_lib::transform::ullbc_to_llbc

Function is_terminal_explore_block

source
fn is_terminal_explore_block(num_loops: usize, block: &Block) -> bool