charon_lib0.1.45

Module llbc_ast_utils

Functions

In charon_lib::ast

Module charon_lib::ast::llbc_ast_utils

Expand description

Implementations for crate::llbc_ast

Functions§

combine_switch_targets_span
Combine the span information from a Switch