def check
import shake@0.7.0.0/src/check.bend as Checkimport Base
import shake@0.7.0.0/src/cli.bend as C
139# every way the spec contradicts itself: the root's reports, then each
140# subcommand's
141def check(app: C.Cli) -> List<&2, SpecErr>:
142 C.Cli{_n, _a, _v, +args, +subs} = app
143 both(cmd([], args, subs), forest(subs, []))