~/jendhub

def program

cli@0.2.0.0 · cli.bend:4693

import cli@0.2.0.0/cli.bend as Cli
import Base

4693# §6.5: a <COMMAND>... positional with Cli.rest() as a program and its
4694# arguments, the first value and the rest, as timeout, nice and env take
4695# them: every token after the program is one of its arguments.
4696def program(m: Matches, id: String) -> Dec(Program):
4697  read_with(~Program, ~get_program, WProgram{False{}}, m, id)

Uses (8)

Used by (0)

No other definition uses this definition.