charon_lib::ast::llbc_ast_utils

Function combine_switch_targets_span

source
pub fn combine_switch_targets_span(targets: &Switch) -> Span
Expand description

Combine the span information from a Switch