def reads.args

shake@0.7.0.0 · src/check.bend:203

import Base
import shake@0.7.0.0/src/cli.bend as C

203# the arguments of a found command
204def reads.args(here: Maybe<&2, C.Sub>) -> Maybe<&2, List<&2, C.Arg>>:
205  match here:
206    case None{}:
207      None{}
208    case Some{ss}:
209      C.Sub{_n, _a, args, _s} = ss
210      Some{args}