Setcmd.plan.none: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/setcmd.bend as Setcmd
Lines 204-210 of cswap-bend-cli@0.1.0.0/setcmd.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/setcmd.bend&start_line=204&end_line=210

import Base

# Extra words after a complete verb are an argparse error.
def plan.none(rest: List<String>, p: Plan) -> Plan:
  match rest:
    case Nil{}:
      p
    case Con{x, t}:
      PBad{"unrecognized arguments: " ++ join_sp(Con{x, t})}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/setcmd.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/setcmd.bend&name=join_sp