def lines.order
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
481def lines.order(x: CovLine, xt: List<&2, CovLine>, y: CovLine, yt: List<&2, CovLine>) -> LineOrder:
482 +xx = x
483 +yy = y
484 lines.order.pick(F32.is_le(line.top(xx), line.top(yy)), xx, xt, yy, yt)
485
486@unsafe