Fuel.effect.next: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/pedantic/fuel.bend as Fuel
Lines 71-78 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=71&end_line=78

import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

# what follows an arrow: the rest of the header, or the line under it (below)
# when the arrow ends the header; is it `IO`?
def effect.next(rest: Tree.Node, +below: Tree.Node) -> Bool:
  match rest:
    case Tree.NCons{h, tail}:
      effect.io(Tree.NCons{h, tail})
    case other:
      effect.io(below)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/fuel.bend&name=effect.io
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node