~/jendhub

def lines.order.pick

gralha-coverage@0.1.0.1 · cover.bend:476

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

476def lines.order.pick(hit: Bool, x: CovLine, xt: List<&2, CovLine>, y: CovLine, yt: List<&2, CovLine>) -> LineOrder:
477  match hit:
478    case True{}: LineOrder{x, xt, Con{y, yt}}
479    case False{}: LineOrder{y, yt, Con{x, xt}}

Uses (4)

Used by (1)