def eval
import cli@0.2.0.0/cli.bend as Cliimport Base
7763# The whole CLI as a function. It must stay a direct forwarding definition:
7764# P10 and P11 are proved of eval_with.
7765def eval(~A: Type, ~decode: @+m: Matches -> Dec(A), c: Cmd, h: Host,
7766 argv: List<&2, String>) -> Step<A>:
7767 eval_with(A, decode, c, h, argv)