def rect.aligned

gralha-coverage@0.1.0.1 · cover.bend:1201

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

import Base

1201def rect.aligned(+xs: List<&2, CovLine>, +box: CovBox) -> Bool:
1202  CovBox{x0, y0, x1, y1} = box
1203  whole(x0) && whole(y0) && whole(x1) && whole(y1) && F32.is_lt(x0, x1) && F32.is_lt(y0, y1) && lines.on.box(xs, x0, y0, x1, y1, 0)
1204
1205@unsafe

Uses (8)

Used by (2)