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

import Base

# eval with the decoder as a value, so a law can quantify over decoders.
def eval_with(-A: Type, decode: @+m: Matches -> Dec(A), c: Cmd, +h: Host,
    +argv: List<&2, String>) -> Step<A>:
  eval_step(A, decode, outcome(c, h, argv), h, argv)

Uses (9):
  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=Step
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=eval_step
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=outcome