Function gwasm_instrument::gas_metering::post_injection_handler

pub fn post_injection_handler<R: Rules>(
    module: Module,
    rules: &R,
    gas_charge_index: usize
) -> Result<Module, Module>

Helper procedure that makes adjustments after gas metering function injected.

See documentation for inject for more details.