def path_of

shake@0.7.0.0 · src/cli.bend:518

import Base

518# the names of the subcommands selected below this command, in order
519def path_of(mm: Matched) -> List<&2, String>:
520  match mm:
521    case Leaf{_b}:
522      []
523    case Node{_b, +name, next}:
524      name <> path_of(next)