Check.check: def of shake@0.7.0.0
Import: import shake@0.7.0.0/src/check.bend as Check
Lines 139-143 of shake@0.7.0.0/src/check.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/check.bend&start_line=139&end_line=143

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

# every way the spec contradicts itself: the root's reports, then each
# subcommand's
def check(app: C.Cli) -> List<&2, SpecErr>:
  C.Cli{_n, _a, _v, +args, +subs} = app
  both(cmd([], args, subs), forest(subs, []))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/check.bend&name=SpecErr
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/check.bend&name=both
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/check.bend&name=cmd
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/check.bend&name=forest
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Cli