Par.par.bodies: def of snap@1.4.0.0
Import: import snap@1.4.0.0/src/par.bend as Par
Lines 74-83 of snap@1.4.0.0/src/par.bend: https://jend.leeeet.dev/read.txt?path=snap@1.4.0.0/src/par.bend&start_line=74&end_line=83

import Base
import snap@1.4.0.0/src/file.bend as File

# the file each job wrote, one per status, by its place in the order
def par.bodies(cs: List<&2, String>, +at: String, +nn: Nat) -> IO(List<&2, Maybe<&2, String>>):
  match cs:
    case []:
      IO.pure(List<&2, Maybe<&2, String>>, [])
    case _code <> ct:
      do IO<List<&2, Maybe<&2, String>>>:
        src : Maybe<&2, String> <- File.file.read(at ++ "/" ++ Nat.show(nn))
        more : List<&2, Maybe<&2, String>> <- par.bodies(ct, at, (1n + nn : Nat))
        return src <> more

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=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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/src/file.bend&name=file.read