def argv

ezx@1.11.0.0 · src/ws/run.bend:72

import Base
import ezx@1.11.0.0/src/share/args.bend as Args

72# the program's own name, and every word after it
73def argv() -> IO(List<&2, String>):
74  do IO<List<&2, String>>:
75    xs : List<&1, String> <- IO.args()
76    return Args.copy(xs)