def parse.take_opt_val

shake@0.7.0.0 · src/cli.bend:634

import Base

634# bind an option that already has its value, checked against the choices of
635# the current command's argument of that name: a parent's argument of the same
636# name has its own
637def parse.take_opt_val(
638  +name: String,
639  +val: String,
640  +args: List<&2, Arg>,
641  +up: List<&2, Level>,
642  +subs: List<&2, Sub>,
643  +path: List<&2, String>,
644  +binds: List<&2, Bind>,
645  +pos: List<&2, Arg>,
646  +raw: Bool,
647  +seen: Bool
648) -> St:
649  parse.take_choice(allowed(parse.choices(by_name(args, name)), val), name, val,
650    args, up, subs, path, binds, pos, raw, seen)