~/jendhub

def argv

bolt@1.26.0.0 · src/args.bend:43

import bolt@1.26.0.0/src/args.bend as Args
import Base

43# bolt's command line: its arguments, without the program
44def argv() -> IO(List<&2, String>):  # noqa: L001 IO: reads argv
45  do IO<List<&2, String>>:
46    ss : List<&1, String> <- IO.args()
47    return args_of(ss)

Uses (7)

Used by (1)