def external_args

cli@0.2.0.0 · cli.bend:4322

import Base

4322def external_args(m: Matches) -> Maybe<(String & List<&2, String>)>:
4323  match m:
4324    case Matches{cmd, path, fields, None{}}: None{}
4325    case Matches{cmd, path, fields, Some{ExternalArgs{name, args}}}:
4326      Some{(name, args)}