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

import Base

# The answer that came once the program was killed: its Files close.
def PipeSession.ask.late(late: Maybe<&1, PipeSession.Answer()>) -> IO(Maybe<PipeSession.Answer()>):
  match late:
    case Some{(PipeSession{_, input, out, _}, _)}:
      do IO<Maybe<PipeSession.Answer()>>:
        File.close(input)
        File.close(out)
        return None{}
    case None{}:
      IO.pure(Maybe<PipeSession.Answer()>, None{})

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File.close
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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