- data Fuel : Type
Fuel for running total operations potentially indefinitely.
Totality: total
Constructors:
- Dry : Fuel
- More : Lazy Fuel -> Fuel
- forever : Fuel
Provide fuel indefinitely.
This function is fundamentally partial.
- limit : Nat -> Fuel
Provide `n` units of fuel.
Totality: total