~/jendhub

def all

ezx@1.11.0.0 · src/share/args.bend:67

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

67# every argument after the program's own name, each one readable twice
68def all() -> IO(List<&2, String>):
69  do IO<List<&2, String>>:
70    xs : List<&1, String> <- IO.args()
71    return rest(copy(xs))

Uses (8)

Used by (1)