Line.line.err: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/line.bend as Line
Lines 158-166 of ezx@1.11.0.0/src/ez/line.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/line.bend&start_line=158&end_line=166

import Base
import shake@0.6.0.0/main.bend as Shake

# a line Shake would not parse: a request for help, whose path Shake has
# already checked word by word (SHAKE-PARSE-8: `help bogus` fails as
# `Unexpected`, not as a request for help), or a usage error
def line.err(help: Maybe<&2, List<&2, String>>, +app: Shake.Cli, err: Shake.ParseErr) -> Line:
  match help:
    case Some{path}:
      Shows{Shake.help(app, path)}
    case None{}:
      Misuse{Shake.err_text(app, err)}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/line.bend&name=Line
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=Cli
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=ParseErr
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=err_text
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=help