Cli.sub_of: def of shake@0.7.0.0
Import: import shake@0.7.0.0/src/cli.bend as Cli
Lines 542-548 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=542&end_line=548

import Base

# the Matched of subcommand `name`, when it is the one selected
def sub_of(mm: Matched, +name: String) -> Maybe<&2, Matched>:
  match mm:
    case Leaf{_b}:
      None{}
    case Node{_b, nn, next}:
      sub_of.pick(String.eq(nn, name), next)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Matched
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=sub_of.pick