Lint.loop.step: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint.bend as Lint
Lines 84-93 of bolt@1.27.0.0/src/lint.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint.bend&start_line=84&end_line=93

import Base
import bolt@1.27.0.0/src/lint/world.bend as W
import bolt@1.27.0.0/src/lint/plan.bend as Plan

# the planner's questions answered and the loop gone round again, or, when
# there are none, its plan carried out
def loop.step(asks: List<&2, W.Ask>, +world: W.World, go: W.World -> IO(Unit)) -> IO(Unit):
  match asks:
    case Nil{}:
      exec(Plan.plan(world))
    case Con{a, rest}:
      do IO<Unit>:
        rs : List<&2, W.Reply> <- answer.all(a <> rest)
        go(more(world, rs))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=plan
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint.bend&name=answer.all
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint.bend&name=exec
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint.bend&name=more