Shake.check: def of shake@0.7.0.0
Import: import shake@0.7.0.0/main.bend as Shake
Lines 131-137 of shake@0.7.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/main.bend&start_line=131&end_line=137

import Base
import shake@0.7.0.0/src/cli.bend as S
import shake@0.7.0.0/src/check.bend as K

# every way a spec contradicts itself: a rest positional that is not the
# last, a repeated argument name or spelling, a repeated subcommand name, a
# subcommand named `help`, a default outside its choices, a required
# positional after an optional one. Empty for a well-formed spec, which is
# what SPEC.md's parse guarantees are about; `parse` does not call it
def check(spec: S.Cli) -> List<&2, K.SpecErr>:
  K.check(spec)

Uses (4):
  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=check
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Cli