def copy

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

import Base

30# the arguments the process was started with. `IO.args()` answers a `&1` list
31# and the rest of ez reads its arguments more than once, so the walk copies it.
32def copy(xs: List<&1, String>) -> List<&2, String>:
33  match xs:
34    case Nil{}:
35      Nil{}
36    case Con{h, t}:
37      h <> copy(t)