Module charon_lib::ast::gast_utils

Implementations for crate::gast

Functions

• make_locals_generator
  Makes a lambda that generates a new variable id, pushes a new variable in the body locals with the given type and returns its id.