Line.cut.of: def of ezmcp@0.1.0.0 Import: import ezmcp@0.1.0.0/src/line.bend as Line Lines 60-65 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=60&end_line=65 import Base def cut.of(ps: List<&2, List<&2, U32>>) -> Cut: match ps: case []: Cut{[], []} case p <> rest: cut.go(rest, p) Uses (4): 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=Cut https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/line.bend&name=cut.go