def String.split.fin

Base · base.bend:2202

2202def String.split.fin(c: Char, r: List<&2, String>, cut: Bool) ->
2203  List<&2, String>:
2204  match cut:
2205    case False{}:
2206      String.split.push(c, r)
2207    case True{}:
2208      SNil{} <> r