def IO.args

Base · base.bend:189

import Base

189# The command line, less the runtime's own options: the program as invoked
190# (the binary, the JS file or the .bend file), then its arguments.
191def IO.args() -> IO(List<String>):
192  import "./effs/args.c"
193  import "./effs/args.js"

Uses (3)

Used by (6)