Skip to main content

branched_before

charon_lib::transform::resugar::reconstruct_vec_boxes

Function branched_before 

Source 
fn branched_before(
    body: &ExprBody,
    start: BlockId,
    target: BlockId,
) -> Option<bool>