charon_lib::ast

Module gast_utils

source
Expand description

Implementations for crate::gast

Functionsยง

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