def lines.merge

gralha-coverage@0.1.0.1 · cover.bend:497

import Base

497def lines.merge(xs: List<&2, CovLine>, ys: List<&2, CovLine>) -> List<&2, CovLine>:
498  match xs:
499    case Nil{}: ys
500    case Con{x, xt}:
501      match ys:
502        case Nil{}: Con{x, xt}
503        case Con{y, yt}: lines.merge.go(lines.order(x, xt, y, yt))