def plan.none

cswap-bend-cli@0.1.0.0 · setcmd.bend:204

import Base

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