Function cairo_lang_lowering::add_withdraw_gas::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.