Line.split.at: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/line.bend as Line
Lines 26-37 of ezmcp@0.1.0.0/src/line.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/line.bend&start_line=26&end_line=37

import Base

# a newline ends a piece of its own, which the bytes before it join; any
# other byte joins the first piece
def split.at(
  byte: U32,
  ps: List<&2, List<&2, U32>>,
  cut: Bool
) -> List<&2, List<&2, U32>>:
  match cut:
    case True{}:
      [byte] <> ps
    case False{}:
      split.put(byte, ps)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/line.bend&name=split.put