def reads.down

shake@0.7.0.0 · src/check.bend:212

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

212# the subcommand named `name` of a found command
213def reads.down(here: Maybe<&2, C.Sub>, +name: String) -> Maybe<&2, C.Sub>:
214  match here:
215    case None{}:
216      None{}
217    case Some{ss}:
218      C.Sub{_n, _a, _g, subs} = ss
219      C.find_sub(subs, name)