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

import Base

# §7.2: what Run.planned writes and exits with, given the host and argv:
# Quit's code and text, or plan's run on the value and terminal, mapped by
# ran_act. plan builds its output whole, so an action that streams or does
# other IO is an act for Run.main instead.
def invoke(~A: Type, ~decode: @+m: Matches -> Dec(A),
    ~plan: @+t: Term -> A -> Ran, c: Cmd, h: Host,
    argv: List<&2, String>) -> Ran:
  ran_step(~A, ~plan, eval(~A, ~decode, c, h, argv))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Cmd
  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=Host
  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=Ran
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Term
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=eval
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ran_step