Lint.exec: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint.bend as Lint
Lines 77-82 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=77&end_line=82

import Base
import bolt@1.27.0.0/src/lint/plan.bend as Plan
import bolt@1.27.0.0/src/status.bend as Status

# a plan, carried out: its lines printed, then its exit status
def exec(pl: Plan.Plan) -> IO(Unit):  # noqa: L001 IO driver
  Plan.Plan{lines, exit} = pl
  do IO<Unit>:
    print_all(lines)
    Status.stop(U32.is_gt(exit, 0))

Uses (7):
  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=U32.is_gt
  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.bend&name=print_all
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/status.bend&name=stop