Line.is.help: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/line.bend as Line
Lines 126-132 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=126&end_line=132

import Base

# whether a subcommand is the one that names no command
def is.help(sub: Sub) -> Bool:
  match sub:
    case CHelp{}:
      True{}
    case _:
      False{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/line.bend&name=Sub