def widen

bolt@1.26.0.0 · src/args.bend:25

import Base

25# the line at the quantity the rest of bolt reads it at (IO.args gives each
26# argument once)
27def widen(ss: List<&1, String>) -> List<&2, String>:
28  match ss:
29    case Nil{}:
30      Nil{}
31    case Con{s, t}:
32      s <> widen(t)