Git.split1: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/git/git.bend as Git
Lines 594-601 of ezx@1.11.0.0/src/git/git.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/git/git.bend&start_line=594&end_line=601

import Base

# a string cut at the first of a character, the character dropped; no hit leaves
# the whole string on the left
def split1(+sep: Char, text: String) -> Cut:
  match text:
    case SNil{}:
      Cut{"", ""}
    case SCon{+h, +t}:
      split1.step(Char.is_eq(h, sep), h, t, _u => split1(sep, t))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=Cut
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=split1.step