Cfgio.read_stdin: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/cfgio.bend as Cfgio Lines 136-141 of cswap-bend-cli@0.1.0.0/cfgio.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&start_line=136&end_line=141 import Base import cswap-bend-cli@0.1.0.0/act.bend as Act import cswap-bend-cli@0.1.0.0/fs.bend as Fs def read_stdin(noin: Bool) -> Act.of(String): match noin: case True{}: failed(2, "standard input is not available here; give a file") case False{}: Fs.read_stdin() Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&name=failed https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=read_stdin