def argv.tool

ezx@1.11.0.0 · src/share/args.bend:135

import ezx@1.11.0.0/src/share/args.bend as Args
import Base

135# `tool run` parsed as the command and its target; any other line as itself
136def argv.tool(hit: Bool, +as: List<&2, String>) -> List<&2, String>:
137  match hit:
138    case True{}:
139      tool.parse(String.eq(at(as, 2n), "--entry"), as)
140    case False{}:
141      as

Uses (6)

Used by (1)