Impl.PipeSession.ask.within: def of bend-pipe-session@0.2.0.0
Import: import bend-pipe-session@0.2.0.0/impl.bend as Impl
Lines 187-208 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=187&end_line=208

import Base

# As PipeSession.ask, within ms; None when the program has not answered by then: it is killed, and
# the session is gone. Nothing of it runs on after.
def PipeSession.ask.within(
  session: PipeSession,
  lines: List<String>,
  +until: String,
  ms: U32
) -> IO(Maybe<PipeSession.Answer()>):
  match session:
    case PipeSession{+pid, input, out, line_cap}:
      do IO<Maybe<PipeSession.Answer()>>:
        +chan: Chan(PipeSession.Answer()) <- Chan.new(PipeSession.Answer(), 1)
        forked: Chan(
          PipeSession.Answer()
        ) <- IO.fork.go(
          PipeSession.Answer(),
          PipeSession.ask(PipeSession{pid, input, out, line_cap}, lines, until),
          chan
        )
        polled: Poll<&1, &1, Maybe<&1, PipeSession.Answer()>, Unit> <-
          Chan.try_recv(PipeSession.Answer(), chan, ms)
        PipeSession.ask.polled(pid, chan, polled)

Uses (16):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan.new
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan.try_recv
  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.fork.go
  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=Poll
  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=Base/base.bend&name=Unit
  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.Answer
  https://jend.leeeet.dev/definition.txt?path=bend-pipe-session@0.2.0.0/impl.bend&name=PipeSession.ask
  https://jend.leeeet.dev/definition.txt?path=bend-pipe-session@0.2.0.0/impl.bend&name=PipeSession.ask.polled