~/jendhub

def run

cswap-bend-cli@0.1.0.0 · exec.bend:373

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

373# The command for `IO.args` (its head is the program name).
374def run(ts: List<String>) -> IO(Cmd.Out):
375  exec_line(tail_of(ts), None{})

Uses (7)

Used by (0)

No other definition uses this definition.