~/jendhub

def run

cswap-bend-cli@0.1.0.0 · main.bend:48

import cswap-bend-cli@0.1.0.0/main.bend as CswapBendCli
import Base
import cswap-bend-cli@0.1.0.0/exec.bend as Exec
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd

48# The command for `IO.args` (its head is the program name).
49def run(ts: List<String>) -> IO(Cmd.Out):
50  route2(Exec.tail_of(ts))

Uses (6)

Used by (1)