def PipeSession.pid

bend-pipe-session@0.2.0.0 · impl.bend:18

import bend-pipe-session@0.2.0.0/impl.bend as Impl
import Base

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

Uses (4)

Used by (0)

No other definition uses this definition.