Skip to main content
unique_target
charon_
lib
0.1.216
In charon_
lib::
transform::
resugar::
reconstruct_
vec_
boxes
charon_lib
::
transform
::
resugar
::
reconstruct_vec_boxes
Function
unique_
target
Copy item path
Source
fn unique_target(term: &
Terminator
) ->
Option
<
BlockId
>