charon_lib::ast

Module gast_utils

source
Expand description

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.