def args_of

bolt@1.26.0.0 · src/args.bend:34

import Base

34# the arguments of IO.args's line: the program as invoked comes first, and is
35# dropped
36def args_of(ss: List<&1, String>) -> List<&2, String>:
37  match ss:
38    case Nil{}:
39      Nil{}
40    case Con{_prog, t}:
41      widen(t)