def lines.sort.go

gralha-coverage@0.1.0.1 · cover.bend:516

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

import Base

516def lines.sort.go(s: LineSplit) -> List<&2, CovLine>:
517  match s:
518    case LineSplit{left, right}:
519      match right:
520        case Nil{}: left
521        case Con{y, yt}: lines.merge(lines.sort.go(lines.deal(left, Nil{}, Nil{})), lines.sort.go(lines.deal(Con{y, yt}, Nil{}, Nil{})))

Uses (5)

Used by (1)

gralha-coverage@0.1.0.1/cover:lines.sort