Impl.PipeSession.start: def of bend-pipe-session@0.2.0.0
Import: import bend-pipe-session@0.2.0.0/impl.bend as Impl
Lines 33-41 of bend-pipe-session@0.2.0.0/impl.bend: https://jend.leeeet.dev/read.txt?path=bend-pipe-session@0.2.0.0/impl.bend&start_line=33&end_line=41

import Base
import bend-stdio-pipes@0.2.0.0/impl.bend as Stdio

# Starts program with args. A longer line of it fails with E2BIG (7).
def PipeSession.start(
  program: String,
  args: List<String>,
  line_cap: U32
) -> IO(Result<&1, &1, U32 & String, PipeSession>):
  do IO<Result<&1, &1, U32 & String, PipeSession>>:
    opened: Result<&1, &1, U32 & String, U32 & (File & File)> <- Stdio.open(program, args)
    return PipeSession.started(opened, line_cap)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-pipe-session@0.2.0.0/impl.bend&name=PipeSession
  https://jend.leeeet.dev/definition.txt?path=bend-pipe-session@0.2.0.0/impl.bend&name=PipeSession.started
  https://jend.leeeet.dev/definition.txt?path=bend-stdio-pipes@0.2.0.0/impl.bend&name=open