Cover.lines.merge.go: def of gralha-coverage@0.1.0.1
Import: import gralha-coverage@0.1.0.1/cover.bend as Cover
Lines 487-495 of gralha-coverage@0.1.0.1/cover.bend: https://jend.leeeet.dev/read.txt?path=gralha-coverage@0.1.0.1/cover.bend&start_line=487&end_line=495

import Base

def lines.merge.go(o: LineOrder) -> List<&2, CovLine>:
  match o:
    case LineOrder{first, rest, other}:
      match rest:
        case Nil{}: Con{first, other}
        case Con{x, xt}:
          match other:
            case Nil{}: Con{first, Con{x, xt}}
            case Con{y, yt}: Con{first, lines.merge.go(lines.order(x, xt, y, yt))}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=gralha-coverage@0.1.0.1/cover.bend&name=CovLine
  https://jend.leeeet.dev/definition.txt?path=gralha-coverage@0.1.0.1/cover.bend&name=LineOrder
  https://jend.leeeet.dev/definition.txt?path=gralha-coverage@0.1.0.1/cover.bend&name=lines.order