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

import Base

def PipeSession.pid(session: PipeSession) -> PipeSession & U32:
  match session:
    case PipeSession{+pid, input, out, line_cap}:
      (PipeSession{pid, input, out, line_cap}, pid)

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