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

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 read that does not fit the spec, in order: a path that names no
# command, a name no argument of that command has, a flag read of an argument
# that is not a flag, a value read of a flag. Empty when every read fits;
# a program checks its reads once, as it checks its spec
def check_reads(+spec: S.Cli, reads: List<&2, K.Read>) -> List<&2, K.ReadErr>:
  K.check_reads(spec, reads)

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