Cli.program: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 4693-4697 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=4693&end_line=4697

import Base

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Dec
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Matches
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Program
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Want
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=get_program
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=read_with