def split

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

import Base

39# the first argument and the ones after it. The pair is returned rather than
40# asked about twice, since a match cannot scrutinise a local binder.
41def split(xs: List<&2, String>) -> String & List<&2, String>:
42  match xs:
43    case Nil{}:
44      ("", Nil{})
45    case Con{h, t}:
46      (h, t)