def words

shake@0.7.0.0 · src/args.bend:17

import shake@0.7.0.0/src/args.bend as Args

import Base

17# the arguments of an IO.args line: every word after the program name, copied
18def words(xs: List<&1, String>) -> List<&2, String>:
19  match xs:
20    case Nil{}:
21      Nil{}
22    case Con{_h, t}:
23      copy(t)

Uses (3)

Used by (1)

shake@0.7.0.0/src/args:argv