def lines.clip

gralha-coverage@0.1.0.1 · cover.bend:185

import Base

185# The clipped lines, in no particular order, with their count.
186def lines.clip(xs: List<&2, CovLine>, +w: F32) -> List<&2, CovLine> & U32:
187  lines.clamp(lines.split(lines.split(xs, 0.0), w), w, Nil{}, 0)