Check.perform: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/check.bend as Check
Lines 106-111 of bolt@1.27.0.0/src/check.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/check.bend&start_line=106&end_line=111

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

# what out decided, done (trusted in src/lint.bend): its lines printed, then its code
def perform(oo: Out) -> IO(Unit):  # noqa: L001 IO driver
  Out{lines, code} = oo
  do IO<Unit>:
    print_all(lines)
    Status.stop(U32.is_gt(code, 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/check.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/check.bend&name=print_all
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/status.bend&name=stop