Check.print_all: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/check.bend as Check
Lines 77-85 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=77&end_line=85

import Base

# each line printed
def print_all(lines: List<&2, String>) -> IO(Unit):  # noqa: L001 IO driver
  match lines:
    case Nil{}:
      IO.pure(Unit, Unit{})
    case Con{l, t}:
      do IO<Unit>:
        IO.print(l)
        print_all(t)

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=IO.print
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit