Cliops.line_or_stop: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops
Lines 150-156 of cswap-bend-cli@0.1.0.0/cliops.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&start_line=150&end_line=156

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/clibase.bend as Clibase

# The token: the argument, one line of stdin for `-`, or a prompt line.
def line_or_stop(noin: Bool) -> Act.of(String):
  match noin:
    case True{}:
      Act.fail(String, 2, "the token must be on the command line (standard input is not available)")
    case False{}:
      Clibase.read_line()

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=fail
  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/clibase.bend&name=read_line