charon_
lib
0.1.49
In charon_
lib::
transform::
ullbc_
to_
llbc
charon_lib
::
transform
::
ullbc_to_llbc
Function
is_terminal_explore_block
Copy item path
source
fn is_terminal_explore_block(num_loops:
usize
, block: &
Block
) ->
bool