Stdio.open: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/transport/stdio.bend as Stdio
Lines 97-102 of bolt@1.27.0.0/src/lsp/transport/stdio.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/transport/stdio.bend&start_line=97&end_line=102

import Base

# the process's descriptors 0 and 1, wrapped
def open() -> IO(Stdio):  # noqa: L001 transport effect
  do IO<Stdio>:
    inp : File <- stdio.fd(0)
    out : File <- stdio.fd(1)
    return Stdio{inp, out, []}

Uses (7):
  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=bolt@1.27.0.0/src/lsp/transport/stdio.bend&name=Stdio
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/transport/stdio.bend&name=stdio.fd