Function charon_lib::ast::llbc_ast_utils::combine_switch_targets_span

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

Combine the span information from a Switch