Str.text.split.go: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/str.bend as Str
Lines 159-170 of ezsys@0.1.0.0/src/str.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/str.bend&start_line=159&end_line=170

import Base

# the scan for a nonempty separator; `skip` characters of a found separator
# are still to pass over
def text.split.go(txt: String, skip: Nat, +sep: String) -> List<&2, String>:
  match txt skip:
    case SNil{} _:
      [SNil{}]
    case SCon{_h, t} 1n+k:
      text.split.go(t, k, sep)
    case SCon{+h, +t} 0n:
      text.split.at(String.starts_with(SCon{h, t}, sep), h,
        text.after(sep),
        k => text.split.go(t, k, sep))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.starts_with
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.after
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.split.at