charon_
lib
0.1.45
Module gast_
utils
Module Items
Functions
In charon_
lib::
ast
charon_lib
::
ast
Module
gast_utils
Copy item path
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.