Fuel.fuels: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/pedantic/fuel.bend as Fuel
Lines 95-101 of bolt@1.27.0.0/src/rules/pedantic/fuel.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/pedantic/fuel.bend&start_line=95&end_line=101

import Base
import bolt@1.27.0.0/src/rules/calls.bend as Calls

# every fuel parameter of every def of the file that returns no effect
def fuels(ds: List<&2, Calls.Def>) -> List<&2, Fuel>:
  match ds:
    case Nil{}:
      Nil{}
    case Con{Calls.Def{name, sig, body}, rest}:
      List.append(&2, Fuel, fuels.params(slots(sig, body), name, 0n), fuels(rest))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/calls.bend&name=Def
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/fuel.bend&name=Fuel
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/fuel.bend&name=fuels.params
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/fuel.bend&name=slots