Module charon_lib::ast::ullbc_ast_utils

source ·
Expand description

Implementations for crate::ullbc_ast

Functions§

  • 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]).