def print_all

bolt@1.26.0.0 · src/check.bend:77

import Base

77# each line printed
78def print_all(lines: List<&2, String>) -> IO(Unit):  # noqa: L001 IO driver
79  match lines:
80    case Nil{}:
81      IO.pure(Unit, Unit{})
82    case Con{l, t}:
83      do IO<Unit>:
84        IO.print(l)
85        print_all(t)