def reads.cmd

shake@0.7.0.0 · src/check.bend:221

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

221# the arguments of the command a path names below the command found, each
222# name a subcommand of the command before it, or None
223def reads.cmd(path: List<&2, String>, here: Maybe<&2, C.Sub>) -> Maybe<&2, List<&2, C.Arg>>:
224  match path:
225    case Nil{}:
226      reads.args(here)
227    case Con{+hh, tt}:
228      reads.cmd(tt, reads.down(here, hh))