Module llbc_ast_utils

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