def lines.merge.go

gralha-coverage@0.1.0.1 · cover.bend:487

import Base

487def lines.merge.go(o: LineOrder) -> List<&2, CovLine>:
488  match o:
489    case LineOrder{first, rest, other}:
490      match rest:
491        case Nil{}: Con{first, other}
492        case Con{x, xt}:
493          match other:
494            case Nil{}: Con{first, Con{x, xt}}
495            case Con{y, yt}: Con{first, lines.merge.go(lines.order(x, xt, y, yt))}