cairo_lang_lowering::add_withdraw_gas

Function add_withdraw_gas

source 
pub fn add_withdraw_gas(
    db: &dyn LoweringGroup,
    function: ConcreteFunctionWithBodyId,
    lowered: &mut FlatLowered,
) -> Maybe<()>
Expand description

Main function for the add_withdraw_gas lowering phase. Adds a withdraw_gas statement to the given function, if needed.