def main

cli@0.2.0.0 · run.bend:119

import Base
import cli@0.2.0.0/cli.bend as Cli

119# §7.2: an app's whole main.
120def main(~A: Type, ~decode: @+m: Cli.Matches -> Cli.Dec(A),
121    ~act: @+t: Cli.Term -> A -> IO(U32), +c: Cli.Cmd) -> IO(Unit):
122  do IO<Unit>:
123    args : List<List<&2, U32>> <- IO.args_bytes()
124    h : Cli.Host <- host(c)
125    stepped(~A, ~act, Cli.eval(~A, ~decode, c, h, argv_of(args)))