def reads.at
import shake@0.7.0.0/src/check.bend as Checkimport Base
import shake@0.7.0.0/src/cli.bend as C
261# a read of the command a path names, or of none
262def reads.at(
263 cmd: Maybe<&2, List<&2, C.Arg>>,
264 want: Want,
265 +path: List<&2, String>,
266 +name: String
267) -> List<&2, ReadErr>:
268 match cmd:
269 case None{}:
270 [NoCommand{path}]
271 case Some{args}:
272 reads.arg(C.by_name(args, name), want, path, name)