charon_lib::transform::ullbc_to_llbc

Function is_terminal_explore

source
fn is_terminal_explore(num_loops: usize, st: &Statement) -> bool