def read_value

shake@0.7.0.0 · main.bend:158

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

158# a read of the values of the argument named `name` of the command `path`
159# names, with `get` or `get_all`
160def read_value(  # noqa: L001 a builder: its result is the Read it names
161  path: List<&2, String>,
162  +name: String
163) -> K.Read:
164  K.Read{path, name, K.WantValue{}}