def export_args

cswap-bend-cli@0.1.0.0 · cfgio.bend:340

import cswap-bend-cli@0.1.0.0/cfgio.bend as Cfgio

import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd

340def export_args(+verb: String, rest: List<&2, String>, run: IO(Cmd.Out)) -> IO(Cmd.Out):
341  match rest:
342    case Nil{}:
343      run
344    case Con{h, t}:
345      IO.pure(Cmd.Out, usage(verb, "unrecognized arguments: " ++ String.join(Con{h, t}, " ")))

Uses (8)

Used by (1)

cswap-bend-cli@0.1.0.0/cfgio:config2