charon_lib::ast

Module ullbc_ast_utils

source
Expand description

Implementations for crate::ullbc_ast

Functionsยง

  • body_transform_operands
    Transform a body by applying a function to its operands, and inserting the statements generated by the operands at the end of the block. Useful to implement a pass on operands (see e.g., [crate::extract_global_assignments]).