def lines.split

gralha-coverage@0.1.0.1 · cover.bend:173

import gralha-coverage@0.1.0.1/cover.bend as Cover

import Base

173def lines.split(xs: List<&2, CovLine>, +at: F32) -> List<&2, CovLine>:
174  match xs:
175    case Nil{}: Nil{}
176    case Con{l, rest}: lines.append(line.split(l, at), lines.split(rest, at))

Uses (5)

Used by (1)

gralha-coverage@0.1.0.1/cover:lines.clip