def at
import shake@0.7.0.0/main.bend as Shakeimport Base
import shake@0.7.0.0/src/cli.bend as S
216# the Matched of the command `path` names below this one, following `sub_of`
217# name by name, or None where a name is not the one selected
218def at(found: S.Matched, path: List<&2, String>) -> Maybe<&2, S.Matched>:
219 S.at(found, path)