consume consumption fuel consumes the consumption amount from the original fuel. It returns None when the consumption is greater than the original fuel or Some remaining_fuel.

The amount of fuel required to run one PVM tick.

  one_tick_consumption = of_ticks 1L

of_ticks ticks gives the amount of fuel required to execute the amount of ticks.

The maximum number of ticks that can be executed with the given amount of fuel.

  max_ticks ∘ of_ticks = Fun.id
  of_ticks ∘ max_ticks = Fun.id