Target.halve.put: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/target.bend as Target
Lines 155-161 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=155&end_line=161

import Base

# a char put back in front of the left half
def halve.put(ch: Char, halves: Halves) -> Halves:
  match halves:
    case Uncut{}:
      Uncut{}
    case Two{left, right}:
      Two{SCon{ch, left}, right}

Uses (3):
  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=ezx@1.11.0.0/src/ez/target.bend&name=Halves