Concurrency.pool.join: def of bend-kit-concurrency@0.2.0.0
Import: import bend-kit-concurrency@0.2.0.0/concurrency.bend as Concurrency
Lines 205-213 of bend-kit-concurrency@0.2.0.0/concurrency.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-concurrency@0.2.0.0/concurrency.bend&start_line=205&end_line=213

import Base

def pool.join(-A: Type, cs: List<Chan(A)>) -> IO(List<A>):
  match cs:
    case Nil{}:
      IO.pure(List<A>, Nil{})
    case c <> rest:
      do IO<List<A>>:
        x : A <- IO.join(A, c)
        xs : List<A> <- pool.join(A, rest)
        return x <> xs

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan
  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.join
  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