def String.split.push

Base · base.bend:2195

import Base
2195def String.split.push(c: Char, ps: List<&2, String>) -> List<&2, String>:
2196  match ps:
2197    case Nil{}:
2198      [SCon{c, SNil{}}]
2199    case h <> t:
2200      SCon{c, h} <> t

Uses (3)

Used by (6)