def mask.lined
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
1275def mask.lined(l: CovLines, +even: Bool, +width: U32, +height: U32, +sub: U32, +trees: Bool) -> CovMask:
1276 CovLines{xs, x0, y0, x1, y1, n} = l
1277 mask.lined.pick(U32.is_le(n, 5), xs, CovBox{x0, y0, x1, y1}, even, width, height, sub, trees)