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

import Base

# eval on a Linted, without linting its spec again. It must stay a direct
# forwarding definition: P16, p10_linted and p11_linted are proved of
# eval_linted_with.
def eval_linted(~A: Type, ~decode: @+m: Matches -> Dec(A), l: Linted,
    h: Host, argv: List<&2, String>) -> Step<A>:
  eval_linted_with(A, decode, l, h, argv)

Uses (8):
  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=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=Linted
  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_linted_with