charon_lib::ast

Module llbc_ast_utils

Expand description

Implementations for crate::llbc_ast

Structs§

BlockVisitor
Small visitor to visit statements and blocks.

Functions§

combine_switch_targets_span
Combine the span information from a Switch