Target.halve.at: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/target.bend as Target
Lines 163-176 of ezx@1.11.0.0/src/ez/target.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/target.bend&start_line=163&end_line=176

import Base

# one char of the first segment. A slash ends it; the rest of the word is
# asked about only past a char a segment may hold.
def halve.at(mark: Mark, ch: Char, +tail: String, rest: Unit -> Halves) -> Halves:
  match mark:
    case Slash{}:
      Two{"", tail}
    case Word{}:
      halve.put(ch, rest(Unit{}))
    case Dot{}:
      halve.put(ch, rest(Unit{}))
    case Tilde{}:
      Uncut{}
    case Other{}:
      Uncut{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=Halves
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=Mark
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=halve.put