def halve.put

ezx@1.11.0.0 · src/ez/target.bend:155

import Base

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