Check.read: def of shake@0.7.0.0
Import: import shake@0.7.0.0/src/check.bend as Check
Lines 274-278 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=274&end_line=278

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

# what is wrong with one read, or nothing
def read(app: C.Cli, rr: Read) -> List<&2, ReadErr>:
  C.Cli{+bin, +about, _v, args, subs} = app
  Read{+path, +name, want} = rr
  reads.at(reads.cmd(path, Some{C.Sub{bin, about, args, subs}}), want, path, name)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=reads.at
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/check.bend&name=reads.cmd
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Cli
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Sub